Trick revealed by Patrice Dumas <pertusus@free.fr> in
<https://lists.gnu.org/archive/html/bug-texinfo/2023-06/msg00015.html>.
* doc/Makefile (MAKEINFO): Enforce checking of menu structure.
+2023-06-22 Bruno Haible <bruno@clisp.org>
+
+ doc: Use makeinfo option to check menu structure.
+ Trick revealed by Patrice Dumas <pertusus@free.fr> in
+ <https://lists.gnu.org/archive/html/bug-texinfo/2023-06/msg00015.html>.
+ * doc/Makefile (MAKEINFO): Enforce checking of menu structure.
+
2023-06-22 Bruno Haible <bruno@clisp.org>
doc: Correct info menu structure.
lang_env = env LANG= LC_MESSAGES= LC_ALL= LANGUAGE=
makeinfo_prog = makeinfo
-MAKEINFO = $(lang_env) $(makeinfo_prog)
+# The customization variable CHECK_NORMAL_MENU_STRUCTURE is necessary with
+# makeinfo versions ≥ 6.8.
+MAKEINFO = $(lang_env) $(makeinfo_prog) -c CHECK_NORMAL_MENU_STRUCTURE=1
manual_opts = --no-split --reference-limit=2000
TEXI2HTML = $(MAKEINFO) $(manual_opts) --html