Makeinfo versions < 6.7 detected mistakes in the @menu structure of TeXinfo input. Makeinfo versions ≥ 6.8 don't do this any more by default. They need an extra option, for this validation to happen. See <https://lists.gnu.org/archive/html/bug-texinfo/2023-06/msg00015.html>.
Since doc/hello.texi has a hand-written @menu, it should use this extra option. Here's a patch to that effect.
From 4909d824b2481aafad05abe54566b3f24854dc1e Mon Sep 17 00:00:00 2001 From: Bruno Haible <[email protected]> Date: Thu, 22 Jun 2023 22:53:40 +0200 Subject: [PATCH] =?UTF-8?q?build:=20Ensure=20that=20makeinfo=20=E2=89=A5?= =?UTF-8?q?=206.8=20checks=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/local.mk (AM_MAKEINFOFLAGS): New variable. --- doc/local.mk | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/doc/local.mk b/doc/local.mk index efbb418..d38f2de 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -1,7 +1,7 @@ # Make hello documentation. -*-Makefile-*- # This is included by the top-level Makefile.am. -# Copyright (C) 1995-2019 Free Software Foundation, Inc. +# Copyright (C) 1995-2023 Free Software Foundation, Inc. # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -20,3 +20,7 @@ info_TEXINFOS = doc/hello.texi doc_hello_TEXINFOS = \ doc/fdl.texi + +# The customization variable CHECK_NORMAL_MENU_STRUCTURE is necessary with +# makeinfo versions ≥ 6.8. +AM_MAKEINFOFLAGS = -c CHECK_NORMAL_MENU_STRUCTURE=1 -- 2.34.1
