[tex-live] gftodvi manual improvement

Werner LEMBERG 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.


     Werner


More information about the tex-live mailing list