chiark / gitweb /
server/admin: New ALGS command.
[tripe] / debian / tripe.install
1 debian/tmp/usr/bin/tripectl
2 debian/tmp/usr/sbin/tripe
3 debian/tmp/usr/share/man/man1/tripectl.1
4 debian/tmp/usr/share/man/man5/tripe-admin.5
5 debian/tmp/usr/share/man/man8/tripe.8
6 debian/tmp/usr/lib/pkgconfig/tripe.pc