Re: texinfo-6.8 html changes

Chris Vine <[email protected]> Sun, 13 Mar 2022 23:15:32 +0000

Newsgroups	gmane.comp.tex.texinfo.general
Message-ID	<[email protected]>

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.