Hallo Bodo, On Tue, 29 Feb 2000, Bodo Schulz wrote:
Ich habe hier eine Menge HTML-Dateien, die ich gern als *.ps oder *.pdf Dateien hätte. Okay, ich könnte html2ps benutzen, doch der Font der in der erzeugten *.ps Datei benutzt wird, ist mir einfach zu groß.
Wenn Du einfach das gesamte Dokument skalieren willst, so kannst Du das mit dem folgenden Befehl tun: html2ps -s0.5 -ooutput.ps input.html Die Option -s gibt dabei die Skalierung an, 0.5 steht hierbei fuer 50% der urspruenglichen Groesse. Falls Du die Fontgroessen einzeln veraendern willst, oder eine ganze Font-Familie veraendern willst, so solltest Du Dir eine eigene html2ps Konfigurationsdatei anlegen, wo so etwas definiert werden kann. Infos darueber gibt es mit "man html2psrc" - weiter kann ich Dir hier auch nicht helfen, da ich so etwas auch noch nie gemacht habe.... Gruesse Thomson -- Thomas Hertweck Geophysikalisches Institut, Universitaet (TH) Karlsruhe Email: ubtj@rz.uni-karlsruhe.de Linux is like a wigwam - no windows, no gates, apache inside! --------------------------------------------------------------------- To unsubscribe, e-mail: suse-linux-unsubscribe@suse.com For additional commands, e-mail: suse-linux-help@suse.com