Re: [bug-gsrc] problem with texinfo show up in mcsim

[Karl Berry]

    building /doc in mcsim fails, problem with texi2dvi

It seems wrong, in principle, for texi2dvi to be getting run as part of
any build.  (Or makeinfo, for that matter.)  That is not usual and not
recommended.  I haven't looked into mcsim specifically.

    The debian-patched version of texi2dvi works correctly. The problem is
    in texinfo. I don't know why patches  made by debian developers don't
    get set upstream in this case.

I'm the Texinfo maintainer (well, one of them), and as far as I know all
patches have been applied.  Since you don't give any clue as to what the
problem actually is, I can't say for sure in this case.

There hasn't been a full new Texinfo release in a few years, but FWIW,
the current officially released version of texi2dvi is available
separately, from http://ftpmirror.gnu.org/texinfo/texi2dvi.  Ditto for
texinfo.tex.

k