🚀 go-pugleaf

MM>Dafuer belege ich mir aber nicht megabyteweise die Platte mit PK-Files, von
MM>denen ich nicht weiss, ob ich sie jemals brauche; schliesslich gibt es noch
MM>Metafont, dass man in solchen Faellen anschmeissen kann. Denn gerade wenn Du
MM>exotische Dinge machst, kann es Dir passieren, dass Du den Font nicht in
MM>irgendeiner magstep sondern z.B. scaled 3500 benoetigst.

Ich habe ja auch nicht behauptet es sollten nun megabyteweise PK-Files dabei
sein. Denn das waere wirklich Quatsch. Ein paar mehr waeren dennoch nicht
schlecht, da es mir auch bei nichtexotischen Anwendungen bereits passiert ist,
dass der gewuenschte Font in der Vergroesserungsstufe X nicht vorhanden war. Und
dann erst Metafont anwerfen kostet auf einem (Normal)Atari fuer einen
Standardfont doch eben so ca. eine 1/4 Stunde. Das ist ziemlich laestig
(besonders wenn man eine wichtiges Dokument bearbeitet, das termingerecht
fertig sein muss).

Rainer

PS: X ist Element der Menge {1,2,3}