2007/9/19, Hans Hagen <[EMAIL PROTECTED]>: > Mojca Miklavec wrote: > > mktexmf > > ^ probably not, not sure what it does
man mktexmf "mktexmf is used to generate the Metafont source file for font, if possible. For example, ecrm1200 or cmr11." Best Martin _______________________________________________ dev-context mailing list dev-context@ntg.nl http://www.ntg.nl/mailman/listinfo/dev-context
