On 5/10/19, Patrice Dumas <[email protected]> wrote: > On Thu, May 09, 2019 at 07:13:05PM +0100, Gavin Smith wrote: >> I think there should be a more reliable way to identify links to >> index nodes from the table of contents in index.html in HTML output. >> Currently the only way is to check if "Index" appears in the name of >> the page. This would be used in an "HTML-Info" system, providing the >> functionality of Info using HTML. > > I may be missing something, but it seems to me that the first node with > printindex is used, see _prepare_global_targets() in > Texinfo/Convert/HTML.pm. > > But maybe you are referring to something else?
I hadn't realised that a <link rel="index"> element was already output in the file header. I was thinking of the <a> elements in the table of contents or main menu. But the <link> elements are good too. The only change I'd make is to output a <link> element for every node containing a @printindex, instead of just the first one. Do you think that would be okay?
