Hi all > texdoc is completely broken. I disagree. There are some errors but in most cases texdoc works much better than the old version. One only has to add an exception. And you could make the change yourself and commit it, if it bothers you so much! Norbert