diff options
| author | Pádraig Brady <P@draigBrady.com> | 2015-11-25 13:38:29 +0000 |
|---|---|---|
| committer | Pádraig Brady <P@draigBrady.com> | 2015-11-25 15:12:37 +0000 |
| commit | 34f20fcc4a0abeef93bcc5995f2e083f1cf93c0f (patch) | |
| tree | b707dd7381cf6eb4080410b237e32e97f5c2c8c2 /man/who.x | |
| parent | bc1bf0fdc256e6243c1df067654b87d507adb84e (diff) | |
| download | coreutils-34f20fcc4a0abeef93bcc5995f2e083f1cf93c0f.tar.xz | |
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.
Diffstat (limited to 'man/who.x')
0 files changed, 0 insertions, 0 deletions