admin: Improve handling of background jobs.

[tripe] / doc / Makefile.am

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 023d80f..462d54f 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -34,7 +34,9 @@ man_MANS = \
 
 PYTHONMANS = tripe-keys.8 tripe-keys.conf.5
 PYGTKMANS = tripemon.1
-EXTRA_DIST = $(CONST_MANS) tripe-admin.5.in $(PYTHONMANS) $(PYGTKMANS)
+EXTRA_DIST = \
+       $(CONST_MANS) tripe-admin.5.in $(PYTHONMANS) $(PYGTKMANS) \
+       make-summary
 
 tripe-admin.5: tripe-admin.5.in make-summary
        awk -f $(srcdir)/make-summary <$(srcdir)/tripe-admin.5.in >$@.new