Re: a bug in @verbatiminclude in texinfo.tex-2020-05-07.17

[Gavin Smith]

On Fri, May 22, 2020 at 2:23 AM Akira Kakuto <address@hidden> wrote:
>
> Dear maintainers of texinfo.tex,
>
> I have obtained a new dvips.texi by Karl,
> and tried to typeset it:
> texi2dvi --verbose dvips.texi
>
> I failed with the error message
>
> ! Undefined control sequence.
> l.39 Email bug reports to tex-k@mail
>                                     .tug.org.
> ?
>
> in @verbatiminclude dvips.help
> The line 39 in dvips.help is
> Email bug reports to address@hidden.
>
> texinfo.tex is
> \def\texinfoversion{2020-05-07.17}.
>
> Apparently @verbatiminclude contains a bug.

Thanks a lot for reporting this. I had fixed a bug in @verbatim but
the change for this (14ce1bf) didn't take @verbatiminclude into
account.

> By comparing with
> \def\texinfoversion{2019-09-20.22}
> where @verbatiminclude was fine, I created a candidate of a patch:
> texinfo.tex.diff.gz, which is attached.

I fixed it a different way which appears to work for more cases, in
commit d5666eb16. I am uploading a new version to ftp.gnu.org.