On Fri, Jan 10, 2025 at 10:01:16PM +0100, pertu...@free.fr wrote: > On Thu, Jan 09, 2025 at 05:57:00AM +0000, Werner LEMBERG wrote: > > Meanwhile I believe it would be fully sufficient for most users to add > > a Texinfo command that specifies a node name for a section that > > contains the index (or indices), and which is then used accordingly in > > the navigation bar, for example > > > > ``` > > @indexlink Indices > > ``` > > I think that it would be better if an index name was used. > > But I see also no reason to add to the Texinfo language something > specific of an output format that have little semantic value. If this > is really a button link, it is better to have it managed in the HTML > output/HTML customization API.
I completely agree. It is not worth adding a new command just for this use case. Could we change the referent index to the last one, rather than the first, as Werner mentioned it may often be more appropriate: Assuming that a large document has multiple indices, the most general index is normally the last one, not the first. I don't know how true this is but it sounds like it could be right.
