mirror of
git://git.sv.gnu.org/coreutils.git
synced 2026-02-19 05:42:02 +02:00
* 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.