Which is better one line or two lines?
Either one is fine. I tend to use one line such usually they are very
short, like in the example you cite.
I'll fix the manual. Texinfo has always silently supported @noindent at
the beginning of a line, not just on a line by itself.
And, in the "@node Sample Texinfo Files"'s sample, @node Top have no
@top command.
Oops, thanks :).
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
