[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Unable to build documentation
|
From: |
Bruno Haible |
|
Subject: |
Re: Unable to build documentation |
|
Date: |
Thu, 22 Jun 2023 18:32:47 +0200 |
And now the patch to prevent the same kind of mistake in the future:
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.
diff --git a/doc/Makefile b/doc/Makefile
index e631625d45..8898ff9d3b 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -9,7 +9,9 @@ doc = gnulib
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