keys/tripe-keys.8.in: Mention the `pathmtu' utility.

I don't even have `tracepath' installed here.

diff --git a/keys/tripe-keys.8.in b/keys/tripe-keys.8.in
index 160e5bedbfd6290dea1dc36d297ef77efce9081f..353028e8627eefb3acb83c95db4ead8399414838 100644 (file)
--- a/keys/tripe-keys.8.in
+++ b/keys/tripe-keys.8.in
@@ -240,7 +240,7 @@ TrIPE tunnel interface, given that the
 .I path-mtu
 between two peers is as specified.  The default is 1500, which is very
 commonly correct, but you should check using a tool such as
-.BR tracepath (8).
+.BR pathmtu (1).
 Getting the MTU too big will lead to unnecessary fragmentation of
 TrIPE's UDP datagrams; getting it too small will fail to utilize the
 underlying network effectively.  If in doubt, it's therefore better to