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

[tripe] / priv / Makefile.am

diff --git a/priv/Makefile.am b/priv/Makefile.am
index e0a467695545a91d198df1713917b3774c8a5640..80b935d44663981e5902738a03ccbf0571ca5c69 100644 (file)
--- a/priv/Makefile.am
+++ b/priv/Makefile.am
@@ -49,8 +49,8 @@ libpriv_a_SOURCES     += comm.c
 tripe_privhelper_SOURCES = helper.c
 
 ## Manual page.
-man_MANS               += tripe-privhelper.8
-CLEANFILES             += tripe-privhelper.8
+man_MANS               += tripe-privhelper.8tripe
+CLEANFILES             += tripe-privhelper.8tripe
 EXTRA_DIST             += tripe-privhelper.8.in
 
 ###----- That's all, folks --------------------------------------------------