[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