Re: @noindent on a line by itself

[Karl Berry]

(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