[tex-live] texdoc should always use TEXDOCS

Karl Berry karl at freefriends.org
Thu Mar 15 18:33:35 CET 2007


    The following patch would make it more consistent:

I applied it.  Thanks.

Excuse my self-ignorance, but is texdoc maintained anywhere besides TL?

Thanks,
K


More information about the tex-live mailing list