Bug#815205: another texinfo.tex bug in \scanmacro

[Gavin Smith]

On 17 March 2016 at 07:25, Gavin Smith <gavinsmith0123 at gmail.com> wrote:
> I've checked and using \gdef instead of \def works, because the
> definition took place within a TeX group:

I've come across the following message:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=815205#95:

======
The patch mentioned in #815205, and distributed along with 2:1.3.3-1,
does allow the TeXinfo manual to build.  Unfortunately, it ruins the
typesetting of the index in the PDF version of the manual, which now
typesets literal @llap... at phantomconcurrency (rather than interpreting
the TeX commands).

I'm not sure what's going on; I will try to find out, but if someone
more versed in TeXinfo is able to look as well, that would be helpful.
You can see what the index should look like in the document at
<http://www.sbcl.org/manual/sbcl.pdf>.
======

If there are still problems could someone email me the Texinfo sources
so I can have a look?