diff options
| author | Pádraig Brady <P@draigBrady.com> | 2014-09-19 16:49:26 +0100 |
|---|---|---|
| committer | Pádraig Brady <P@draigBrady.com> | 2014-09-19 23:18:10 +0100 |
| commit | f51c44bd1e7f22c7b65a20d9ced747ac63f0fc16 (patch) | |
| tree | 15b9303f327784411eb5c5f4c22cc8af74195da4 /.gitignore | |
| parent | 5682a7e73dff2fa18d3f162f7f3409e0a132b51f (diff) | |
| download | coreutils-f51c44bd1e7f22c7b65a20d9ced747ac63f0fc16.tar.xz | |
build: fix dependency issues with man page generation
* .gitignore: Remove reference to no longer generated make file.
* configure.ac: Don't bother generating placeholder make file.
* man/local.mk: Hardcode the man page deps list for normal builds
to be compatible with all make implementations and configure options.
Note in SINGLE_BINARY mode, all man pages will be generated on
any change to the coreutils binary, but development will generally
not be done in this mode, so this shouldn't be an issue.
Fixes http://bugs.gnu.org/18055
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 02a61e81f..885d309bd 100644 --- a/.gitignore +++ b/.gitignore @@ -134,7 +134,6 @@ /m4/xsize.m4 /maint.mk /man/*.1 -/man/dynamic-deps.mk /po/*.gmo /po/*.po /po/.gitignore |