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".

diff --git a/man/local.mk b/man/local.mk
index 8904eb5..e18533b 100644 (file)
--- 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 =