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

[Akira Kakuto]

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 te...@mail.tug.org.

texinfo.tex is
\def\texinfoversion{2020-05-07.17}.

Apparently @verbatiminclude contains a bug.

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 confirmed that
texi2dvi --verbose dvips.texi
was fine after applying the patch, texinfo.tex.diff.

I greatly appreciate if you kindly apply texinfo.tex.diff, or
improved one to texinfo.tex 2020-05-07.17.

Thanks,
Akira

texinfo.tex.diff.gz
Description: GNU Zip compressed data