|GFTOPK(1)||General Commands Manual||GFTOPK(1)|
The gftopk program converts a generic font file output by, for example, mf(1), to a packed font file for use by DVI-reading programs. Packed font files (pk files) are much smaller than the corresponding gf files, so they are generally the font format of choice.
The gf_file_name on the command line must be complete. Because the resolution is part of the extension, it would not make sense to append a default extension as is done with TeX or DVI-reading software. The pk_file_name defaults to the same (stripped) name as gf_file_name, and it is placed in the current working directory with the pk suffix replacing gf. For example, the input file cmr10.300gf would become cmr10.300pk.
See tex(1) for the details of the searching.
Donald E. Knuth et al., Metafontware.
|16 June 2015||Web2C 2021|