Re: `texi2any` generates unwanted `@detailmenu` block

[Werner LEMBERG]

>> > ... 'menu_no_detailmenu' sounds good to me.
>> 
>> Sounds good to me too.
> 
> I will implement then.  It will apply to Info output too.

+1, and thanks.


    Werner