[PATCH 22/22] maint: avoid distcheck failure by properly cleaning $(EXTRA_MANS)

[Stefano Lattarini]

From: Jim Meyering <address@hidden>

* 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".
---
 man/local.mk | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/man/local.mk b/man/local.mk
index 8904eb5..da7de24 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 $(srcdir) = x$(builddir) || rm -f $(ALL_MANS)
+
 # Dependencies common to all man pages.  Updated below.
 mandeps =
 
-- 
1.7.12