[texdoc] texdoc and man pages

Karl Berry karl at freefriends.org
Thu Oct 16 23:55:26 CEST 2008


Regarding pdf's for man pages, I actually rather like the idea of saying
that if the path includes /man/, give it lowest priority.

The overlaps are generally going to happen for the programs that are
in the web2c/kpse/dvips/etc. manuals.  In those cases, the man page
is never preferred.

Can one of you easily make a list showing the overlaps between the man
page pdf's and other pdf's?

karl


More information about the texdoc mailing list