On Sun, 13 Mar 2022 20:32:24 +0000 Gavin Smith <[email protected]> wrote: > On Sun, Mar 13, 2022 at 07:11:59PM +0000, Chris Vine wrote: > > Hi, > > > > texinfo-6.8 seems to produce different HTML output than did earlier > > versions so far as concerns menus. Menus appear to be stripped from > > HTML output, as compared to info output where these are preserved in > > version 6.8. > > > > Is there a configuration option which restores the previous behavior? > > > > Chris > > Yes, run texi2any with the '-c FORMAT_MENU=menu' option.
That did the trick, thanks.
