Hi Norbert,
because help2man is missing, and it tries to re-generated texi2dvi.1
Is there a reason for that?
Sure, of course there's a reason :). The dependency on the source file
is the only way man page regeneration can work (reliably) :).
we patch texi2dvi in a trivial way.
Is your change something I can install?
I can easily add help2man to the build-deps,
I think you should, regardless of anything else. It's normal for
help2man to be required if you're messing with the sources. Just like
if you changed info.c or texi2any[.pl], etc.
but since it was a change introduced between .92 and .93 there might
be a reason.
Yes, the reason is that I actually made a change to texi2dvi :),
which I hadn't done since April 2012, before the pretests started.
Thus probably your patching was not triggered, hence man page
regeneration was not triggered.
http://cvs.savannah.gnu.org/viewvc/texinfo/util/texi2dvi?root=texinfo&view=log
Best,
k
