admin: Improve handling of background jobs.

[tripe] / doc / Makefile.am

diff --git a/doc/Makefile.am b/doc/Makefile.am
index ee4efdd..462d54f 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -27,11 +27,19 @@
 
 AUTOMAKE_OPTIONS = foreign
 
+CONST_MANS = tripe.8 tripectl.1 pkstream.1 tripe-mitm.8
 man_MANS = \
-       tripe.8 tripectl.1 tripe-admin.5 pkstream.1 tripe-mitm.8 \
+       $(CONST_MANS) tripe-admin.5 \
        @pymans@ @pygtkmans@
+
 PYTHONMANS = tripe-keys.8 tripe-keys.conf.5
 PYGTKMANS = tripemon.1
-EXTRA_DIST = $(man_MANS) $(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
+       mv $@.new $@
 
 ##----- That's all, folks ---------------------------------------------------