How about using @itemx? The _definition_ of @itemx inside a @table seems
to be that it suppresses the blank line after the preceding @item/@itemx.
It's true.
Let me think about it (and what it would mean for TeX). Thanks much for
the patch.
BTW, you've got some gorgeously maintainable code
Isn't it great :)? (I disclaim authorship ...)
FYI, the next release of texinfo will throw away the existing C
implementation of makeinfo entirely, replacing it with texi2html (thanks
to mountains of hard work by Patrice Dumas and other texi2html folks).
Best,
K