]> git.ipfire.org Git - thirdparty/coreutils.git/commit
projects / thirdparty / coreutils.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc1bf0f) | patch
build: avoid makeinfo unless required
authorPádraig Brady <P@draigBrady.com>
Wed, 25 Nov 2015 13:38:29 +0000 (13:38 +0000)
committerPádraig Brady <P@draigBrady.com>
Wed, 25 Nov 2015 15:12:37 +0000 (15:12 +0000)
commit34f20fcc4a0abeef93bcc5995f2e083f1cf93c0f
treeb707dd7381cf6eb4080410b237e32e97f5c2c8c2tree | snapshot
parentbc1bf0fdc256e6243c1df067654b87d507adb84ecommit | diff
build: avoid makeinfo unless required

* doc/local.mk (constants.texi): Avoid calling makeinfo unless
the constants derived from tail and shred have changed.
This avoids a dependence on makeinfo from patched sources,
and avoids an expensive makeinfo call for developers.
doc/local.mk diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/coreutils.git