@* in @defmac?

[Shawn Betts]

Hi texinfo'ers,

I have a really long macro definition:

@defmac do (@{var | (var [init [step]])@}*) (end-test @address@hidden) 
@address@hidden @{tag | address@hidden

which would be much easier to read if I could add line breaks at
specific sections, so that it looks like this in the output:

      - Macro: do ({var | (var [init [step]])}*)
               (end-test {result}*)
               {declaration}* {tag | statement}*

Since that is much easier to read. I put a @* in the appropriate
places:

@defmac do (@{var | (var [init [step]])@}*) @* (end-test @address@hidden) @* 
@address@hidden @{tag | address@hidden

But the output (for info) is:

      - Macro: do ({var | (var [init [step]])}*)
               <p>(end-test {result}*)
               {declaration}* {tag | statement}*

It seems there's some HTML formatting in there or something. Is this a
bug? Should I be able to put @* in a function definiton?

I'm using makeinfo (GNU texinfo) 4.3

Thanks!
Shawn