Fix missing options in man pages.

[PuTTY.git] / doc / man-putt.but

diff --git a/doc/man-putt.but b/doc/man-putt.but
index 708bae7f9d641c94e1525e2788a0cd68eef7ea8a..1b28ffdf29983711c84383e0804cc6abddc8df8d 100644 (file)
--- a/doc/man-putt.but
+++ b/doc/man-putt.but
@@ -231,6 +231,10 @@ pseudo-terminal at the server end.
 
 \dd Select SSH protocol version 1 or 2.
 
+\dt \cw{-4}, \cw{-6}
+
+\dd Force use of IPv4 or IPv6 for network connections.
+
 \dt \cw{\-i} \e{keyfile}
 
 \dd Private key file for user authentication. For SSH-2 keys, this key
@@ -241,6 +245,16 @@ else's.
 a \e{public} key here (in RFC 4716 or OpenSSH format), to identify
 which of the agent's keys to use. }
 
+\dt \cw{\-noagent}
+
+\dd Don't try to use an authentication agent for local authentication.
+(This doesn't affect agent forwarding.)
+
+\dt \cw{\-agent}
+
+\dd Allow use of an authentication agent. (This option is only necessary
+to override a setting in a saved session.)
+
 \dt \cw{\-hostkey} \e{key}
 
 \dd Specify an acceptable host public key. This option may be specified