> From: Gavin Smith <[email protected]>
> Date: Mon, 28 Sep 2026 18:15:03 +0100
> Cc: [email protected], [email protected]
> 
> On Mon, Sep 28, 2026 at 12:22:02PM +0300, Eli Zaretskii wrote:
> > > Exactly.  In the long term, it would be easier for documentation writers
> > > if node names are optional.
> > 
> > But the node names are important, they are shown by the Info readers.
> > So the authors are well advised to think about the node names.  For
> > example, they should be short enough to make them easy to type and
> > read in a menu, and so that they can be nicely displayed in the
> > "bread-crumbs" display at the top of the current node.
> 
> That may be so, but it is still very common for Texinfo documents
> to use exactly the same text for the section title as for the node name,
> or text which is very similar.

Only in manuals that are not well written, IME.  A node's name should
be tuned for using in an Info reader, whereas a section name should be
tuned for a printed book.

Anyway, I will stop arguing, since I believe my opinion is clear, and
the decision is yours.

Reply via email to