[tex-k] gftodvi manual improvement
wl at gnu.org
Fri Apr 20 06:43:31 CEST 2007
In the gftodvi manual page I can read this:
The output file name defaults to the same root as the gf file, with
the dvi extension added. For example, the input file cmr10.2602gf
would become cmr10.dvi.
For me, the word `defaults' implies that there is a possibility to
change it. However, AFAIK, this isn't possible. Ideally, an option
to specify the output file name should be added. Until this happens,
I suggest to write something like this:
The output file name uses the same root as the gf file, [...]
Such a change synchronizes the man page with the info pages, BTW.
More information about the tex-k