Re: @* in @defmac?

[Karl Berry]

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

That's a bug somewhere.  I'll see if I can figure out where the <p> is
coming from (it'll be a few days, as I'm taking a short trip).  However,
I'm not sure if in the end you'll really be able to control the
formatting in this way, although I realize it would be helpful.

Thanks for the report.