> The vertical spacing is extremely bad.
>
> I haven't investigated, but I'm not surprised. Directly after an
> @item is one of the places that TeX usually tries *not* to break at,
> since psychologically it seems a poor choice to separate the item
> header from the item text. But the @group does stuff to make it be
> a good choice to break at. Conflict.
??? This is not related at all. The vertical space between the @item
line and the first example line is *less* than \baselineskip. This
must not happen.
> Also, a one-line @group is useless, so I don't think I ever looked
> at or tested such a case.
It shouldn't matter, I think.
Werner
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
