Re: use heading like sectioning commands with USE_NEXT_HEADING_FOR_LONE_NODE

2025-02-19 Thread Gavin Smith
On Sun, Feb 16, 2025 at 01:07:38PM +0100, Patrice Dumas wrote: > On Sat, Feb 15, 2025 at 02:01:13PM +, Gavin Smith wrote: > > I don't see the purpose of this as documents should use a sectioning > > command, not a @*heading command after a node. > > I disagree, I think that @*heading command a

local cross-references between HTML manuals

2025-02-19 Thread Sebastian Meyer
For a collection of Texinfo manuals that reference each other but no other manuals, `-c HTMLXREF_MODE=none` could be used for `texi2any --html` to force links in the generated HTML manuals to point to the local---thus same-version---HTML files rather than to a (canonical) website from a (built-