From 8f9d2b67b7bbfe20f6ecaa6fce78d1e7d3044c40 Mon Sep 17 00:00:00 2001
From: Bruno Haible <bruno@clisp.org>
Date: Thu, 22 Jun 2023 23:04:24 +0200
Subject: [PATCH] =?UTF-8?q?Ensure=20that=20makeinfo=20=E2=89=A5=206.8=20ch?=
 =?UTF-8?q?ecks=20the=20@menu=20structure.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

* doc/Makefile.in (MAKEINFO): Add option
"-c CHECK_NORMAL_MENU_STRUCTURE=1".
---
 ChangeLog       | 8 ++++++++
 doc/Makefile.in | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 6feee3b..cb1824d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2023-06-22  Bruno Haible  <bruno@clisp.org>
+
+	Ensure that makeinfo ≥ 6.8 checks the @menu structure.
+	See
+	<https://lists.gnu.org/archive/html/bug-texinfo/2023-06/msg00015.html>.
+	* doc/Makefile.in (MAKEINFO): Add option
+	"-c CHECK_NORMAL_MENU_STRUCTURE=1".
+
 2022-09-08  Bruno Haible  <bruno@clisp.org>
 
 	Fix a warning regarding strncmp.
diff --git a/doc/Makefile.in b/doc/Makefile.in
index 699cbc4..d7bbdc9 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -48,7 +48,7 @@ TEX = tex
 TEXI2DVI = texi2dvi
 DVIPS = dvips -D600
 TEXI2PDF = texi2pdf
-MAKEINFO = LANG= LC_MESSAGES= LC_ALL= LANGUAGE= makeinfo
+MAKEINFO = LANG= LC_MESSAGES= LC_ALL= LANGUAGE= makeinfo -c CHECK_NORMAL_MENU_STRUCTURE=1
 TEXI2HTML = perl $(srcdir)/texi2html
 TEXI2ANY = texi2any