Re: more consistent ignoring before node and sections and Top node

[Patrice Dumas]

On Sun, Feb 20, 2022 at 10:42:25AM +0000, Gavin Smith wrote:
> Good.
> 
> > 
> > HTML: two options
> > * book-like: format the text before the first @node or sectioning
> >   including the title page. Do not output the Top node.
> >   Default for CONTENTS_OUTPUT_LOCATION is after_title
> > * non book: do not output the text before the first @node or sectioning
> >   command. Output the top node. Maybe, do not output any title?
> >   Default for CONTENTS_OUTPUT_LOCATION is after_top as is today.
> >   Not outputting the the text before the first @node or sectioning command
> >   is a change, as well as not outputting any title.
> > Default is non book.
> 
> It may be fine not to output anything for @settitle specifically in
> the default output, as long as there are enough headings output for
> other reasons.

The should be the @top, but it can also be empty. However, I think that,
if it is empty, it means that the user does not want @top to be used to
put a title, and in that case, the user can decide to set SHOW_TITLE and
USE_TITLEPAGE_FOR_TITLE like he or she wants, one can imagine that there
is a special intent and a willingness to know about those customization
variables.

I implemented the change in commit
d4a32aabbd025e2fea94a1cd7defd7cadd2dc8d9.

-- 
Pat.