DVI-OUT

[Petr Sojka]

"arnost wrote:"
: >Dale bych upozornil na to, ze si musite take dat pozor, abyste
: >nove vytvoreny cmr10.tfm nesiril
: >(resp. zabranil jeho vystavovani), nebot by to bylo
: >v rozporu s pranimi DEK.
:
: vytvoreny cmr10.tfm je pri navrzenem postupu nachlup stejny jako
: puvodni.

Opravuji: cmr10.vf
Je zde nekdo, kdo vi, zda je to legalni (sirit font s nazvem
cmr10 jiny nez Knuthuv)? (srv. "IMportant message" na Knuthove strance)

Petr Sojka
: arnost
:
: ps. tady je awkovsky script, ktery udela uvedenou transformaci:
:
: #! /bin/awk -f
: BEGIN {file=new=ARGV[1];
:       gsub("m","s",new);
:       print "(VTITLE Substitute font "file" -> "new")"
: print"   (MAPFONT D 0"
: print"     (FONTNAME "new")"
: print"     (FONTCHECKSUM D 0)"
: print"     (FONTAT R 1.0)"
: print"     )"}
: {print}