diff options
| author | Jim Meyering <meyering@redhat.com> | 2012-09-01 01:46:59 +0200 |
|---|---|---|
| committer | Jim Meyering <meyering@redhat.com> | 2012-09-01 21:28:12 +0200 |
| commit | e0f95e5b0ecf5ad979df9cc7dff77cc82420c23e (patch) | |
| tree | 1d15cc3a9b27cb6ba9946cb5e74d37fa7327c1b5 /man | |
| parent | 5b335a256e020831883a2a74298a48b4c83b253a (diff) | |
| download | coreutils-e0f95e5b0ecf5ad979df9cc7dff77cc82420c23e.tar.xz | |
maint: avoid distcheck failure by properly cleaning $(ALL_MANS)
* man/local.mk (distclean-local): Remove $(ALL_MANS) when doing
a VPATH build. If it's not done, generated manpages can be left
around in the build directory after a "make distclean", causing
failures in "make distcheck".
Diffstat (limited to 'man')
| -rw-r--r-- | man/local.mk | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/man/local.mk b/man/local.mk index 8904eb5a4..e18533be5 100644 --- a/man/local.mk +++ b/man/local.mk @@ -35,6 +35,11 @@ MAINTAINERCLEANFILES += $(ALL_MANS) # the manpages must be generated before the distdir is created and filled. $(EXTRA_MANS): $(all_programs) +# This is a kludge to remove generated 'man/*.1' from a non-srcdir build. +# Without this, "make distcheck" might fail. +distclean-local: + test x$(srcdir) = x$(builddir) || rm -f $(ALL_MANS) + # Dependencies common to all man pages. Updated below. mandeps = |