build, debian: Add a suffix to the main TrIPE-specific manpages.
[tripe] / mon / Makefile.am
index 128c35e..d2a92e0 100644 (file)
@@ -41,8 +41,8 @@ tripemon: tripemon.in Makefile
                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 --------------------------------------------------