chiark / gitweb /
admin: Rename the unknown-service error.
[tripe] / doc / tripe-admin.5.in
index 9fd8a1d7f308ce20f96b6f6782728d1fce0dd152..6f2ae778f0ad1667ddc28a41c2102734c4a575bb 100644 (file)
@@ -676,11 +676,11 @@ and
 There is no peer called
 .IR name .
 .SP
-.BI "unknown-service " service
+.BI "unknown-port " port
 (For
 .BR ADD .)
-The service name
-.I service
+The port name
+.I port
 couldn't be found in 
 .BR /etc/services .
 .TP