Re: silencing warnings of inconsistencies of directions with order in menu

[Patrice Dumas]

On Wed, Nov 04, 2020 at 07:13:25PM +0000, Gavin Smith wrote:
> 
> Yes, sounds OK.  SHOW_MENU/FORMAT_MENU would no longer be used for this
> purpose.

Ok.  As a side note, if the warnings became on again in the future, 
then I think that FORMAT_MENU would need to be taken into account
again.

> Some suggestions for the name:
> ENFORCE_NORMAL_MENU_STRUCTURE, CHECK_CANONICAL_MENU_STRUCTURE,
> WARN_NONSTANDARD_MENU, ERROR_IRREGULAR_MENU, or some combination.

I will use CHECK_NORMAL_MENU_STRUCTURE

> There could still be a warning for unreferenced nodes if not referenced
> in either the menus or by directions (possibly implicitly).  This would
> lead to at most one warning per node.

I agree that it would be a good thing.  It won't solve the issue of 
islands in manuals that cannot be reached as you said in another mail,
but it will probably solve the most common case.

-- 
Pat