| commit | e600fbb7648c206099177bb7a1d253f1dccd7409 | |
| author | Bruno Haible <bruno@clisp.org> | |
| Thu, 22 Jun 2023 21:59:11 +0000 (22 23:59 +0200) | ||
| committer | Pádraig Brady <P@draigBrady.com> | |
| Thu, 22 Jun 2023 22:22:07 +0000 (22 23:22 +0100) | ||
| tree | 752541c8dee1718c09b53ffcf0f7b42764761ca5 | treesnapshot (tar.gz zip) |
| parent | e8858f15150e9132355437d3e6aba86fbedeb40a | commitdiff |
build: ensure that makeinfo ≥ 6.8 checks the @menu structure
See <https://lists.gnu.org/r/bug-texinfo/2023-06/msg00015.html>.
* doc/local.mk (MAKEINFO): New variable.
* cfg.mk (_makefile_at_at_check_exceptions): Update.
See <https://lists.gnu.org/r/bug-texinfo/2023-06/msg00015.html>.
* doc/local.mk (MAKEINFO): New variable.
* cfg.mk (_makefile_at_at_check_exceptions): Update.
| cfg.mk | diffblobblamehistory | |
| doc/local.mk | diffblobblamehistory |