On Tue, Sep 05, 2023 at 08:57:06PM +0200, Patrice Dumas wrote: > Hello, > > With @nodedescription used, there are no menus anymore in HTML output > even with FORMAT_MENU=menu. What about generating automatically a menu > if there is no menu, and there are automatic directions (no explict node > directions and association with a sectioning command) in HTML, as is > done in Info ?
I think that makes sense - to have the same menus output for HTML and Info for FORMAT_MENU=menu.
