From: Bruno Haible <bruno@clisp.org>
Date: Thu, 22 Jun 2023 20:31:25 +0000 (+0200)
Subject: Ensure that makeinfo ≥ 6.8 checks the @menu structure.
X-Git-Tag: cln_1-3-7~4
X-Git-Url: https://www.ginac.de/CLN/cln.git//cln.git?a=commitdiff_plain;h=0ab5866b7ac31fa8ff91a2d7da2b293afd9fbc8d;p=cln.git

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 90746d7..c4004b5 100644
--- 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