-man_MANS += tripe-admin.5
-EXTRA_DIST += tripe-admin.5.in make-summary
-CLEANFILES += tripe-admin.5
-
-tripe-admin.5: tripe-admin.5.in make-summary
- awk -f $(srcdir)/make-summary <$(srcdir)/tripe-admin.5.in >$@.new
- mv $@.new $@
+man_MANS += tripe-admin.5tripe
+CLEANFILES += tripe-admin.5tripe
+EXTRA_DIST += tripe-admin.5.in