[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: texinfo-6.8 html changes
|
From: |
Chris Vine |
|
Subject: |
Re: texinfo-6.8 html changes |
|
Date: |
Sun, 13 Mar 2022 23:15:32 +0000 |
On Sun, 13 Mar 2022 20:32:24 +0000
Gavin Smith <gavinsmith0123@gmail.com> 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.