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).