Fix missing options in man pages.

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

diff --git a/doc/man-ptel.but b/doc/man-ptel.but
index 4101c86750d6078de8a48719352b7fbf58887d8a..3abb505f16d17d14b9056c3ab2bc7666d5a6fe61 100644 (file)
--- a/doc/man-ptel.but
+++ b/doc/man-ptel.but
@@ -173,6 +173,10 @@ configuration box first.
 
 \dd Specify the port to connect to the server on.
 
+\dt \cw{-4}, \cw{-6}
+
+\dd Force use of IPv4 or IPv6 for network connections.
+
 \S{puttytel-manpage-saved-sessions} SAVED SESSIONS
 
 Saved sessions are stored in a \cw{.putty/sessions} subdirectory in