X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/tripe/blobdiff_plain/b7e1e18b57c30555f65a2548e0f1f186200c0ea8..e99aedcf9373b3305c32e510c086bf3357b4736a:/server/Makefile.am

diff --git a/server/Makefile.am b/server/Makefile.am
index e54b7978..b6df4280 100644
--- a/server/Makefile.am
+++ b/server/Makefile.am
@@ -68,10 +68,4 @@ man_MANS		+= tripe-admin.5
 CLEANFILES		+= tripe-admin.5
 EXTRA_DIST		+= tripe-admin.5.in make-summary
 
-tripe-admin.5: tripe-admin.5.in make-summary $(mandefs)
-	awk -f $(srcdir)/make-summary <$(srcdir)/tripe-admin.5.in >$@.tmp
-	$(mansubst) $@.tmp >$@.new
-	rm -f $@.tmp
-	mv $@.new $@
-
 ###----- That's all, folks --------------------------------------------------