Hi Michael,
Thanks for the (very detailed) report.
Is there a particular reason why the `...@bye' line yields a
blank line?
In addition to Eli's answer, it seems that the new (unreleased, but in
CVS) version of makeinfo doesn't output that "extra" blank line.
Is it not at least inconsistent behavior?
Everything about macros is inconsistent, irrational, and painful. I
can't document the exact behavior because I don't know what it is, and
it's not even clear to me what it *should* be.
however, this contradicts the Texinfo manual as quoted earlier:
Of course I don't want the manual to give wrong information, though.
I'll delve into this as soon as I have a chance.
Best,
Karl