]> git.ipfire.org Git - thirdparty/coreutils.git/commit
projects / thirdparty / coreutils.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8858f1) | patch
build: ensure that makeinfo ≥ 6.8 checks the @menu structure
authorBruno Haible <bruno@clisp.org>
Thu, 22 Jun 2023 21:59:11 +0000 (23:59 +0200)
committerPádraig Brady <P@draigBrady.com>
Thu, 22 Jun 2023 22:22:07 +0000 (23:22 +0100)
commite600fbb7648c206099177bb7a1d253f1dccd7409
tree752541c8dee1718c09b53ffcf0f7b42764761ca5tree | snapshot
parente8858f15150e9132355437d3e6aba86fbedeb40acommit | diff
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.
cfg.mk diff | blob | blame | history
doc/local.mk diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/coreutils.git