On Thu, Feb 18, 2021 at 02:02:00PM -0800, Raymond Toy wrote: > I'm pretty sure that page was generated using texinfo 3.7.
https://cmucl.org/docs/cmu-user/html/index.html says that it was generated with Texinfo 6.6dev.
- js-info disabling sidebar for narrow windows (experimental) Per Bothner
- Re: js-info disabling sidebar for narrow windows (experim... Raymond Toy
- Re: js-info disabling sidebar for narrow windows (exp... Gavin Smith
- Re: js-info disabling sidebar for narrow windows ... Per Bothner
- Re: js-info disabling sidebar for narrow windows ... Raymond Toy
- Re: js-info disabling sidebar for narrow wind... Gavin Smith
- Re: js-info disabling sidebar for narrow windows (exp... Per Bothner
