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

2022-11-27 Thread Per Bothner
I think it would make sense to add rules in the Makefile.am to build the html versions of the texinfo manual(s). It doesn't necessarily have to be run by default or installed. However, having the rules with the same options as for the website is useful for testing if nothing else. Plus it's useful

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

2022-11-27 Thread Per Bothner
On 11/27/22 12:48, Per Bothner wrote: On 11/27/22 12:24, Gavin Smith wrote: The main other problem is updating the contents sidebar after an index search.  You can see it at It would be good to have this fixed before the 7.0.1 bug-fix release. I do not know if I will have time or be able t

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

2022-11-27 Thread Per Bothner
On 11/27/22 12:24, Gavin Smith wrote: The main other problem is updating the contents sidebar after an index search. You can see it at It would be good to have this fixed before the 7.0.1 bug-fix release. I do not know if I will have time or be able to fix it myself. I'm looking at i

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

2022-11-27 Thread Gavin Smith
On Sat, Nov 19, 2022 at 10:05:06AM +0100, Patrice Dumas wrote: > The div.printindex is ok, but should be redundant with > td.printindex-index-entry. I did this in commit a0fd61252adb22ce47aae2b (on 20th November). The main other problem is updating the contents sidebar after an index search. You