Ensure that makeinfo ≥ 6.8 checks the @menu structure.

See <https://lists.gnu.org/archive/html/bug-texinfo/2023-06/msg00015.html>.

* doc/Makefile.am (AM_MAKEINFOFLAGS): New variable.

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 90746d71b0c84481fb0e320e2c3535efa3951b87..c4004b556f36a682b556552a6020cce00b955875 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,4 +1,7 @@
 
 info_TEXINFOS = cln.texi
+# The customization variable CHECK_NORMAL_MENU_STRUCTURE is necessary with
+# makeinfo versions ≥ 6.8.
+AM_MAKEINFOFLAGS = -c CHECK_NORMAL_MENU_STRUCTURE=1
 AM_MAKEINFOHTMLFLAGS = --no-split