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
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-