Re: another texinfo.tex bug in \scanmacro

[Karl Berry]

On another front:

     @iftex
     @macro cl{name}
     address@hidden@phantom{concurrency:address@hidden:}}\name\
     @end macro
     @end iftex

What's inside @iftex is supposed to be valid Texinfo.
(Just like @ifinfo, etc.)  To lapse into plain/raw TeX,
@tex should be used.  That's why it exists.

(Of course, it would be a lot simpler to avoid trying to control
formatting in the first place, as that is not what Texinfo was ever
designed to do.  But I know people feel the need to do it anyway.)

(Not that I have anything against fixing the issue.  Indeed, I'm glad
Gavin could do so.)

k