@verb in linecommand call does not work in Texinfo TeX

[Patrice Dumas]

Hello,

The following does not seems to work, although it probably should:


==================================================
\input texinfo.tex

@linemacro lm {a}
b \a\ a
@end linemacro

@lm {
@verb{:in verb:}
}

@bye
==================================================


./d.texi:9: Use of @doverb doesn't match its definition.
l.2 @verb 
          {:in verb:}
@lm@@@ ...@newlinechar =13 @scantokens {b #1 a^^M}
                                                  
l.9 }
     
? 
./d.texi:9: Emergency stop.
l.2 
    
@lm@@@ ...@newlinechar =13 @scantokens {b #1 a^^M}
                                                  
l.9 }
     
./d.texi:9:  ==> Fatal error occurred, no output PDF file produced!



Same output if end of line in @lm call are protected by @.

-- 
Pat