chiark / gitweb /
Revert "debian/: Update for Debhelper 10."
[tripe] / debian / tripe.install
index be519d8b363b0e693cffcf3beadebb7580284b42..d6a2b212a53640a96318fb83270e92cd88eea63c 100644 (file)
@@ -1,11 +1,11 @@
 debian/tmp/usr/bin/tripectl
 debian/tmp/usr/sbin/tripe
-debian/tmp/usr/share/man/man1/tripectl.1
-debian/tmp/usr/share/man/man5/tripe-admin.5
-debian/tmp/usr/share/man/man7/tripe-service.7
-debian/tmp/usr/share/man/man8/tripe.8
+debian/tmp/usr/share/man/man1/tripectl.1tripe
+debian/tmp/usr/share/man/man5/tripe-admin.5tripe
+debian/tmp/usr/share/man/man7/tripe-service.7tripe
+debian/tmp/usr/share/man/man8/tripe.8tripe
 debian/tmp/usr/lib/tripe/tripe-privhelper
-debian/tmp/usr/share/man/man8/tripe-privhelper.8
+debian/tmp/usr/share/man/man8/tripe-privhelper.8tripe
 debian/tmp/usr/lib/pkgconfig/tripe.pc
 
 debian/build/contrib/tripe-ipif                /usr/share/doc/tripe/examples