[texdoc] vntex

Reinhard Kotucha reinhard.kotucha at web.de
Fri Aug 21 23:23:50 CEST 2020

Hi Takuto,
I've been told by a friend that

  texdoc vntex

again doesn't work and I can reproduce the error.  It should find
vntex.pdf instead of vntex-man.pdf.  There had always been problems in
the past.  For a couple of years it worked as expected but now it's
broken again.

texdoc is based on heuristics.  It turned out that this can never work
reliably.  If you hammer a nail into the wall in one room, in an other
room a picture falls down from the wall.  And you don't even notice it.

In order to solve this issue forever, could you please provide an
alias for vntex.pdf which circumvents all these heuristics?  I'm tired
from reporting problems with vntex.pdf again and again.


Reinhard Kotucha                            Phone: +49-511-3373112
Marschnerstr. 25
D-30167 Hannover                    mailto:reinhard.kotucha at web.de

More information about the texdoc mailing list.