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. It could be different if it is something more general, but I still do not see clearly the concept of interest here. Is it a "main" index that has some kind of difference with other types of indexes? What makes it different? -- Pat
