Re: @noindent on a line by itself

[Karl Berry]

    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 :).