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
