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

[tripe] / debian / tripemon.install

diff --git a/debian/tripemon.install b/debian/tripemon.install
index 6a313db..d99a456 100644 (file)
--- a/debian/tripemon.install
+++ b/debian/tripemon.install
@@ -1,2 +1,2 @@
 debian/tmp/usr/bin/tripemon
-debian/tmp/usr/share/man/man1/tripemon.1
+debian/tmp/usr/share/man/man1/tripemon.1tripe