[texdoc] texdoc tipaman finds German first
Karl Berry
karl at freefriends.org
Tue Oct 28 22:53:12 CET 2014
Manuel (or maybe if someone else wants to take up texdoc work) ...
Just received word that texdoc tipa finds
texmf-dist/doc/latex/tipa-de/tipaman-de.pdf
before
texmf-dist/doc/fonts/tipa/tipaman.pdf
which doesn't make much sense, since the latter is part of "tipa" and
the former "tipa-de".
texdoc tipaman finds the English first, though ...
Best,
Karl
More information about the texdoc
mailing list