diff options
| author | Bruno Haible <bruno@clisp.org> | 2023-06-22 22:53:40 +0200 |
|---|---|---|
| committer | Reuben Thomas <rrt@sc3d.org> | 2023-06-22 22:09:28 +0100 |
| commit | 2633763362586903cf6506f4c4d708727a981025 (patch) | |
| tree | b4cf4948926bccd852ccb7b219d06a9b342eb451 | |
| parent | fab5dca74c099b1663dce30d9e11c2d83ecf3078 (diff) | |
build: Ensure that makeinfo ≥ 6.8 checks the @menu structure
See
<https://lists.gnu.org/archive/html/bug-texinfo/2023-06/msg00015.html>.
* doc/local.mk (AM_MAKEINFOFLAGS): New variable.
| -rw-r--r-- | doc/local.mk | 6 |
1 files changed, 5 insertions, 1 deletions
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 |