On Tue, Jan 07, 2025 at 03:08:38AM +0100, Patrice Dumas wrote:
> On Mon, Jan 06, 2025 at 07:33:45AM +0000, Werner LEMBERG wrote:
> > 
> > [texinfo 7.2]
> > 
> > 
> > The documentation in the 'Direction' section of 'texi2any_api' says
> > 
> >   _Index_
> >        The first output unit with ‘@printindex’.
> > 
> > This is not ideal.  Assuming that a large document has multiple
> > indices, the most general index is normally the last one, not the
> > first.
> 
> It seems to me that it is more natural to use the first index, whatever
> type it is, and it is more robust, the specified index may not exist or
> be merged into another one.

If I understand correctly the issue is with the "Index" link that
is generated in the HTML output and that there is no way to configure
which index this refers to.

This could be allowed with two options:
* One to suppress the default "Index" link
* Another to add a link to all pages to a certain node.  This link
would be expressed in terms of node (e.g. "Concept Index"), not index
(e.g. "cp").

In July 2024, a user expressed a desire to add a "Top" link to
the navigation bar for all pages:

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

Frederico Muñoz, 2024-07-17
https://lists.gnu.org/archive/html/bug-texinfo/2024-07/msg00002.html

This appears to be exactly the same problem.  I think we should support
both links to pages in the Texinfo system as well as arbitrary URLs
in header links.

It could be done with some option to texi2any, like

texi2any --html "--nav-button=Index=Concept Index"

for a Texinfo node, or

texi2any --html "--nav-button=Home=https://myhomepage.example.com/";
 
for an arbitrary webpage.

(I feel like we may have discussed this before although I couldn't
find any specific emails on the topic.)

Is there anything else about the nav bar that should also be
easily customizable that isn't currently?

I prefer to allow this kind of customization, especially for functionality
that is of a wide interest, through options or variables, rather than the
customization API, as the former would be easier for users and also less
likely to break.

Reply via email to