On Wed, Sep 06, 2023 at 02:42:22AM +0100, Gavin Smith wrote: > 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.
Should be done in https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=a6f55a610293eadc68a193c39bf0264cfc0bcb6e -- Pat
