Adding HTML navigation links [was Re: Suggestions for texi2any parsing]

[Gavin Smith]

On Thu, Jul 25, 2024 at 10:38:09PM +0200, Patrice Dumas wrote:
> > == Adding a "Top" navigation entry
> > 
> > For a web page I find it useful to be able to easily go to the
> > homepage. I'm manually changing the HTML to add a "Top" navigation entry
> > that points to the index page. I experimented with several options but
> > didn't get this effect. Is something like this possible, and if not,
> > would it be a useful addition?

It does actually seem like a useful idea to have an arbitrary link
(or links?) to pages in Texinfo web manuals to link to the landing page
or other higher-level page of a website.

For example, a page from the online gdb manual:

https://sourceware.org/gdb/current/onlinedocs/gdb.html/Summary.html#Summary

could link to the gdb page under sourceware.org:

https://sourceware.org/gdb/

It is likely that an HTML web manual should have "navigation" links
outside of that manual, even to pages that were generated differently,
e.g. not with Texinfo.

It is easy to find examples of this in other web documentation.  For
example, you can see on the page

https://doc.qt.io/qt-5/qtransform.html

links to other high-level pages like https://qt.io and https://doc.qt.io.

It is easy enough, I expect, to achieve such links by post-processing
the HTML output, but adding built-in support in texi2any to add external
navigation links might be worth considering, in order to make it more
convenient.