Ich habe ein kleines Script geschrieben, mit dem man - TrueType Fonts nach Postscript und dann diese - Postscript Fonts zu TeXFonts umwandeln kann.
Falls Interesse besteht, kann ich das Script mal hier senden. Es ist kein perfektes Skript, weil ich mich mit der bash nicht so gut auskenne, aber es liefert für den Standardfall (mit Debian/teTeX) Ergebnisse, die einem ca. 1/2 Stunde Arbeit je Schriftart ersparen. Vielleicht kann ja auch der ein oder andere mithelfen, das ganze zu verkürzen? -- Sent through GMX FreeMail - http://www.gmx.net -- ----------------------------------------------------------- Um sich aus der Liste auszutragen schicken Sie bitte eine E-Mail an [EMAIL PROTECTED] die im Subject "unsubscribe <deine_email_adresse>" enthaelt. Bei Problemen bitte eine Mail an: [EMAIL PROTECTED] ----------------------------------------------------------- 674 eingetragene Mitglieder in dieser Liste.