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 ?
-- Pat
