(Replying to your old mail here ...)
Which is better one line or two lines?
@noindent produces:
or
@noindent
produces:
You need to use two lines within environments such as @display, because
the space after @noindent will be visible.
Outside of any environment, it's ok to put the text on the same line as
the noindent. But since text inevitably gets moved around
within/between documents, it's probably safer to just use two lines all
the time. I added some info about this to the manual.
And, in the "@node Sample Texinfo Files"'s sample, @node Top have no
@top command.
I fixed this.
Thanks very much,
karl
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
