bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: info.js demo on Texinfo manual updated on website


From: Gavin Smith
Subject: Re: info.js demo on Texinfo manual updated on website
Date: Wed, 30 Nov 2022 14:44:33 +0000

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)".



reply via email to

[Prev in Thread] Current Thread [Next in Thread]