[tex-live] texdoc should always use TEXDOCS

[Frank Küster]

karl at freefriends.org (Karl Berry) wrote:

>     The following patch would make it more consistent:
>
> I applied it.  Thanks.
>
> Excuse my self-ignorance, but is texdoc maintained anywhere besides TL?

There seems to be a texdoc.bat in MikTeX, according to google, but I
cannot find it in their source repository
(https://miktex.svn.sourceforge.net/svnroot/miktex/miktex/).

Regards, Frank
-- 
Dr. Frank Küster
Single Molecule Spectroscopy, Protein Folding @ Inst. f. Biochemie, Univ. Zürich
Debian Developer (teTeX/TeXLive)