]> Savannah Git Hosting - gnulib.git/commitdiff
doc: Use makeinfo option to check menu structure.
authorBruno Haible <bruno@clisp.org>
Thu, 22 Jun 2023 16:30:08 +0000 (18:30 +0200)
committerBruno Haible <bruno@clisp.org>
Thu, 22 Jun 2023 16:30:08 +0000 (18:30 +0200)
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.

ChangeLog
doc/Makefile

index 8d8229fd69d0c8dae94454ae33f725d88d3821e5..9e185dad81d1e280b201bfb14781211410cf4cc2 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+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.
+
 2023-06-22  Bruno Haible  <bruno@clisp.org>
 
        doc: Correct info menu structure.
index e631625d451206cb585c235e3deb56be83b27437..8898ff9d3ba068d8a75ed568fec40d58238b9b1d 100644 (file)
@@ -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