On Mon, Feb 24, 2025 at 08:52:15PM +0000, Gavin Smith wrote: > 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.
I will implement then. It will apply to Info output too. -- Pat
