[texdoc] vntex

Takuto ASAKURA tkt.asakura at gmail.com
Sat Aug 22 04:43:57 CEST 2020

Hi Reinhard,

Sure, I will add an alias for the vntex.pdf.

> And you don't even notice it.

Well, for this reason, I recently began to save outputs of
Texdoc to monitor the changes in the scoring. But of course
it is just another "ad-hoc" monitoring and never will be perfect...

Anyway, I will fix for vntex.pdf and also add it to my list of
monitoring queries.


> On 2020/08/22, at 6:23, Reinhard Kotucha <reinhard.kotucha at web.de> wrote:
> 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.