han just making a new page in info. I would
then be against disregarding @node.
‐‐‐ Original Message ‐‐‐
On Sunday, 1 November 2020 13:30, Gavin Smith wrote:
> On Sun, Nov 01, 2020 at 12:13:12PM +0000, jai-bholeki wrote:
>
> > > I'm not sure how sensible it is to use @
> 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.
> I don't have a strong opinion about it, but I feel that the primary
> meaning of @node is to define a named unit of the manual, rather than
> define a cross-reference target. This would mean that each node
> would be in a separate HTML file when output is split, which means
> that USE_NODES shoul
