On Fri, Feb 14, 2025 at 06:40:31PM +0100, Patrice Dumas wrote: > Hello, > > This comes from the thread on anchors, but I start a new thread to avoid > mixing the two issues. > > I propose that, if USE_NEXT_HEADING_FOR_LONE_NODE is set, the @*heading > appearing after a @node be treated as much as possible like a sectioning > command. > > This means that > * if xrefautomaticsectiontitle is on, it is used in @xref and HTML > headers similarly to sectioning commands > * it is used for node automatic directions, and I propose to do that > by considering that the @*heading command is below the previous non > @*heading command > > And more generally, that the @*heading appearing after a @node be > treated as much as possible like a sectioning command for other purpose > I would have missed.
I don't see the purpose of this as documents should use a sectioning command, not a @*heading command after a node. I understand USE_NEXT_HEADING_FOR_LONE_NODE as a minor alteration for the HTML output (possibly other formats) to avoid duplication in headings, but one which only makes a difference in rare cases.
