[tex-live] texdoc doesn't find man pages

[Werner LEMBERG]

> Actually, we decided to produce pdf forms of the man/info pages and
> ship them.

Please use the following groff sequence for generating the man pages
(see the groff_man manual page for details):

  groff -man -rS11 foo.1 > foo.ps

Option `-rS11' selects 11pt as the base document size, which is *much*
nicer than the default 10pt IMHO.  Another option is -rD1 to enable
double-sided printing, but this is a matter of taste.


    Werner