keys/tripe-keys.conf.5.in: Use `\-' (minus) for options, not `-' (hyphen).
[tripe] / debian / pathmtu.install
1 debian/tmp/usr/bin/pathmtu
2 debian/tmp/usr/share/man/man1/pathmtu.1