[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: texinfo 7.0.3; the main menu is missing in HTML output.
From: |
Alan Mackenzie |
Subject: |
Re: texinfo 7.0.3; the main menu is missing in HTML output. |
Date: |
Tue, 8 Aug 2023 13:17:06 +0000 |
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).