chmod +x $@.new && mv $@.new $@
## Manual page.
-man_MANS += tripemon.1
-CLEANFILES += tripemon.1
+man_MANS += tripemon.1tripe
+CLEANFILES += tripemon.1tripe
EXTRA_DIST += tripemon.1.in
###----- That's all, folks --------------------------------------------------