Re: use directly section childs with sectiontoc, set USE_NODES 0 for HTML

[Gavin Smith]

On Sun, Nov 01, 2020 at 12:13:12PM +0000, jai-bholeki wrote:
> 
> > I'm not sure how sensible it is to use @section without a @node or vice
> > versa. A @node without a section wouldn't be in the section toc anyway,
> > if I understand correctly.
> 
> @node makes a separate page.  If your sections are small, by simply
> removing @node, you can get the sections together.

That's one thing people may use this for, and I've seen this in real
documents (much more so than bare @nodes).  The @heading commands are also
there and it's probably the correct way to use those instead.  But this
would be an argument against changing USE_NODES to 0, as I understand that
this would put each of the sections into a separate file anyway.