Re: makeinfo no longer validates the menu structure

[Gavin Smith]

On Tue, Jul 11, 2023 at 01:49:32PM +0100, Gavin Smith wrote:
> On Thu, Jun 22, 2023 at 06:07:20PM +0200, Bruno Haible wrote:
> It might be a good idea to show some of the warnings by default but
> not all of them.  I agree that the warning you identified as the essential
> one.
> 
> If I disable the warnings about node and menu directions and only
> keep the ones about missing menu items, there is usually still enough
> information to know what the problem is and what should be fixed.
> The only thing that is not warned about is if the menu entries are
> in the wrong order, which is a less important mistake and one people
> are less likely to make than missing the entry out.
> 
> So I've made a change to output this warning unconditionally, in commit
> 92600710f6.  Please let us know if it outputs the necessary warnings.

I've added a customization variable, CHECK_MISSING_MENU_ENTRY, so that
people can turn this warning off if they want to, in case they do want
an irregular structure.