[tex-k] gftodvi manual improvement

[Werner LEMBERG]

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