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

[tripe] / debian / tripe-keys.install

diff --git a/debian/tripe-keys.install b/debian/tripe-keys.install
index 06cc965e68f9b59b00347b3c6a320ab9da2a493d..6308b81db8f7fd1517450a2d8cab38cfd2883874 100644 (file)
--- a/debian/tripe-keys.install
+++ b/debian/tripe-keys.install
@@ -1,4 +1,4 @@
 debian/tmp/usr/sbin/tripe-keys
 debian/tmp/usr/sbin/tripe-keys

-debian/tmp/usr/share/man/man5/tripe-keys.conf.5
-debian/tmp/usr/share/man/man8/tripe-keys.8
+debian/tmp/usr/share/man/man5/tripe-keys.conf.5tripe
+debian/tmp/usr/share/man/man8/tripe-keys.8tripe

 keys/tripe-keys.master usr/share/doc/tripe-keys/examples
 keys/tripe-keys.master usr/share/doc/tripe-keys/examples