[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.
Regards,
Reinhard
--
------------------------------------------------------------------
Reinhard Kotucha Phone: +49-511-3373112
Marschnerstr. 25
D-30167 Hannover mailto:reinhard.kotucha at web.de
------------------------------------------------------------------
More information about the texdoc
mailing list.