[tex-live] texdoc should always use TEXDOCS

[Karl Berry]

    Sure -- each linux distro has its own fork

Of course.  I meant an upstream single source to whom the patch should
be reported.