fix "make dist" to distribute everything it should

1 files changed, 14 insertions, 0 deletions

diff --git a/man/Makefile.am b/man/Makefile.am
index 2f20aacb..893d3383 100644
--- a/man/Makefile.am
+++ b/man/Makefile.am
@@ -162,3 +162,17 @@ uninstall-local:
 
 mostlyclean-local:
 	rm -f index.* */index.*
+
+dist-hook:
+	@list='$(man1_MANS) $(man5_MANS) $(man8_MANS)'; \
+	dist_files=`for file in $$list; do \
+			echo $$file | sed 's/\.\([0-9]\)/.man\1/'; \
+		    done`; \
+	$(MKDIR_P) `echo "$$dist_files" | \
+		    sed 's|^|$(distdir)/|;s,/[^/]*$$,,' | \
+		    sort -u`; \
+	for file in $$dist_files; do \
+		test -f $(distdir)/$$file \
+		|| cp -p ./$$file $(distdir)/$$file \
+		|| exit 1; \
+	done