On Mon, Feb 24, 2025 at 05:28:19PM +0000, Werner LEMBERG wrote: > Given that a detailmenu in Info style looks very un-HTML-ish I think > it would be best if `texi2any` didn't generate a detailmenu for HTML > output by default if `FORMAT_MENU` is set to 'menu'. However, such a > change wouldn't be backward-compatible, thus ... > > > so keeping it a customization variable could be the best in the long > > term too. A specific customization variable could be an options, > > another possibility could be to add another value for FORMAT_MENU, > > like menu_no_detailmenu. > > ... 'menu_no_detailmenu' sounds good to me.
Sounds good to me too.
