server/tripe-admin.5.in: Fix out-of-date information about `kill'.
[tripe] / debian / tripe.dirs
1 etc/tripe/peers
2 etc/tripe/services