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.
