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

[tripe] / server / Makefile.am

diff --git a/server/Makefile.am b/server/Makefile.am
index ad5b4a98e6d530cb776c77fe13dc150ac4e0f8bb..3ca82d5f8d3484cac635bd1461f3f0f5b7bda0bc 100644 (file)
--- a/server/Makefile.am
+++ b/server/Makefile.am
@@ -58,13 +58,13 @@ tripe_SOURCES               += tun-std.c
 tripe_SOURCES          += tun-slip.c
 
 ## Server manual page.
-man_MANS               += tripe.8
-CLEANFILES             += tripe.8
+man_MANS               += tripe.8tripe
+CLEANFILES             += tripe.8tripe
 EXTRA_DIST             += tripe.8.in
 
 ## The admin protocol manual page.
-man_MANS               += tripe-admin.5
-CLEANFILES             += tripe-admin.5
+man_MANS               += tripe-admin.5tripe
+CLEANFILES             += tripe-admin.5tripe
 EXTRA_DIST             += tripe-admin.5.in
 
 ###----- That's all, folks --------------------------------------------------