On Tue, Nov 29, 2022 at 09:18:53PM +0000, Gavin Smith wrote: > I will cherry-pick to the release branch and update the web demo > when this is done.
...easier said than done. Due to the changes to the structure of the index output on the master branch, I had to edit info.js. The changes were the removal of the extra cell with in it, and the inclusion of a colon in all the index entries. The index search appears to work fine now. I expect the colon may still appear in the index entries (on the master branch) if the manual is generated with -c INDEX_ENTRY_COLON=':' (although this may be unimportant). There are a couple of other less important problems. You can see them at https://www.gnu.org/software/texinfo/manual/texinfo-html/index.html: * A tooltip pops up saying "General Index (GNU Texinfo 7.0.1)" at the table of contents. * The page title (displayed in a browser tab or the window title bar) at the Top node is "General Index (GNU Texinfo 7.0.1)". However, go to either of the index nodes and the title becomes "Top (GNU Texinfo 7.0.1)".
