Re: texinfo 7.0.3; the main menu is missing in HTML output.

Alan Mackenzie <[email protected]> Tue, 8 Aug 2023 13:17:06 +0000

Newsgroups	gmane.comp.tex.texinfo.general
Message-ID	<ZNJAUoyo3Cg2Kn3J@ACM>

Hello, Gavin.

On Mon, Aug 07, 2023 at 23:25:42 +0100, Gavin Smith wrote:
> On Mon, Aug 07, 2023 at 09:16:36PM +0000, Alan Mackenzie wrote:

[ .... ]

> To get the menus output in HTML, use the FORMAT_MENU variable.  It
> would look like "texi2any -c FORMAT_MENU=menu my-manual.texi".

Thanks for such a rapid and helpful reply!  That works!

I don't think there's a link to this option from the manual section on
@menu, though.

[ .... ]

-- 
Alan Mackenzie (Nuremberg, Germany).