Re: upcoming pretest release

[Gavin Smith]

On Tue, Feb 16, 2021 at 03:46:46PM -0800, Per Bothner wrote:
> * js-info sidebar shows too many entries (in my opinion).
> Compare https://per.bothner.com/tmp/DomTerm-txjs/Tips-and-solutions.html
> with https://domterm.org/Tips-and-solutions.html
> [This requires changes to info.js which I can probably handle.]

I think this is because there is some incompatibility with info.js
and your manual.

If you create Texinfo's manual with

../tp/texi2any.pl --html texinfo.texi -c INFO_JS_DIR=js

you will see that there is not this problem and that the
current node is highlighted.  See screenshot.

info.js.png
Description: PNG image