[texdoc] texdoc and man pages

[Reinhard Kotucha]

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

Hi Karl,
could you then please adapt kpathsea accordingly?   I get

$ kpsewhich -format='TeX system documentation' dvips.pdf
/texlive/svn/trunk/Master/texmf/doc/man/man1/dvips.pdf

Shouldn't kpsewhich return the path to the texinfo manual instead?

I still think that unique file names make life easier.  For everyone.
What is the problem with manual pages called 'dvips.1.pdf'?

Regards,
  Reinhard

-- 
----------------------------------------------------------------------------
Reinhard Kotucha			              Phone: +49-511-3373112
Marschnerstr. 25
D-30167 Hannover	                      mailto:reinhard.kotucha at web.de
----------------------------------------------------------------------------
Microsoft isn't the answer. Microsoft is the question, and the answer is NO.
----------------------------------------------------------------------------