texinfo 4.7 missing endcsname from ref in @copying

[Kevin Ryde]

On a recent i386 debian with my own build of texinfo 4.7 and the
included texinfo.tex 2004-04-07.08, the file foo.texi below processed
with

        texi2dvi foo.texi

produces the following error output (and the foo.log below),

This is e-TeXk, Version 3.14159-2.1 (Web2C 7.4.5)
 file:line:error style messages enabled.
entering extended mode
(/home/gg/bug/texinfo-endcsname/foo.texi (./texinfo.tex
Loading texinfo [version 2004-04-07.08]: Basics, pdf, fonts, page headings,
tables, conditionals, indexing, sectioning, toc, environments, defuns, macros,
cross references, insertions, (/usr/share/texmf/tex/generic/dvips/epsf.tex)
localization, and turning on texinfo input format.)
/home/gg/bug/texinfo-endcsname/foo.texi:27: Missing @endcsname inserted
/home/gg/bug/texinfo-endcsname/foo.texi:27: Extra @endcsname
/home/gg/bug/texinfo-endcsname/foo.texi:27: Missing @endcsname inserted
/home/gg/bug/texinfo-endcsname/foo.texi:27: Extra @endcsname
Cross reference values unknown; you must run TeX again.
/home/gg/bug/texinfo-endcsname/foo.texi:27: Missing @endcsname inserted
/home/gg/bug/texinfo-endcsname/foo.texi:27: Extra @endcsname
/home/gg/bug/texinfo-endcsname/foo.texi:27: Missing @endcsname inserted
/home/gg/bug/texinfo-endcsname/foo.texi:27: Extra @endcsname
[1] (GNU MP Copying Conditions) Appendix A [1] [2] )
(see the transcript file for additional information)
Output written on foo.dvi (3 pages, 1012 bytes).
Transcript written on foo.log.
/home/gg/mp/usr-new/bin/texi2dvi: etex exited with bad status, quitting.
/home/gg/mp/usr-new/bin/texi2dvi: see foo.log for errors.


This foo.texi is cut down from the GMP manual, where the same problem
occurs.  I believe it had been ok in the past (with for instance
texinfo.tex 2002-03-26.08).

The problem may be related to having an @ref cross reference in the
@copying part, since removing that lets it work.

foo.texi
Description: TeXInfo document

foo.log
Description: Text document