debian/tripe-peer-services.postinst: New script to restart services.

[tripe] / debian / tripe.install

diff --git a/debian/tripe.install b/debian/tripe.install
index e68861de70a9a796f6f5c198a339838bc40fa792..6f8001a2751714c0c4defb831bd588f34e0e9395 100644 (file)
--- a/debian/tripe.install
+++ b/debian/tripe.install
@@ -2,5 +2,14 @@ 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/lib/tripe/tripe-privhelper
+debian/tmp/usr/share/man/man8/tripe-privhelper.8
 debian/tmp/usr/lib/pkgconfig/tripe.pc
+
+debian/build/contrib/tripe-ipif                /usr/share/doc/tripe/examples
+debian/build/contrib/ipif-peers                /usr/share/doc/tripe/examples
+debian/build/contrib/tripe-upstart     /usr/share/doc/tripe/examples
+debian/build/contrib/greet             /usr/share/doc/tripe/examples
+debian/build/contrib/knock             /usr/share/doc/tripe/examples