> Now we have even more copies of texnames.sty in > texmf-dist/doc/guides/texlive/ > > I guess I will remove them eventually. I can't see that we need a > special version for the tldoc. do you generate tldocs with latex? if so, there's your answer.