build, debian: Add a suffix to the main TrIPE-specific manpages.

[tripe] / keys / Makefile.am

diff --git a/keys/Makefile.am b/keys/Makefile.am
index 68a0d221344760e7f244fe172feccb2e00c9a21c..2c6b26bad70a9a229cda6716d7a45cde2594a4ab 100644 (file)
--- a/keys/Makefile.am
+++ b/keys/Makefile.am
@@ -41,8 +41,8 @@ tripe-keys: tripe-keys.in Makefile
                chmod +x $@.new && mv $@.new $@
 
 ## Manual pages.
-man_MANS               += tripe-keys.8 tripe-keys.conf.5
-CLEANFILES             += tripe-keys.8 tripe-keys.conf.5
+man_MANS               += tripe-keys.8tripe tripe-keys.conf.5tripe
+CLEANFILES             += tripe-keys.8tripe tripe-keys.conf.5tripe
 EXTRA_DIST             += tripe-keys.8.in tripe-keys.conf.5.in
 
 ## Examples.