On Wed, Jul 09, 2025 at 01:52:24PM +0100, Gavin Smith wrote:
> Currently running "info texinfo menu" with the current output from
> texinfo.texi does not go to the node you expect ('Menus'), but to the
> documentation of the Info format instead ('Info Format Menu').
>
> ...
>
> Does one of the following sound like a good idea?:
>
> * Do not use @menu blocks when generating a detailed menu.
> * If reusing a @menu block to generate a detailed menu, then revise it
> never to a separate menu entry label.
I've committed a change not to use a menu block if it has a separate
menu entry label in any of the menu entries. It could have been possible
only to omit or rewrite the menu entries that were affected, rather than
the entire menus, but I found it simpler to implement it this way. I expect
it should only make a difference on rare occasions.
