X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=blobdiff_plain;f=doc%2Fman-psft.but;h=80d86ecf6f3b3148d228e820096fa450caf5e7d8;hb=359b5c8eb45ff56c62032cf147fcdb3723d54324;hp=12aa81f25750217360fbf89aca57898891fe0c5e;hpb=bb97e174731d7ed114413da7d0bb6c22f88f0763;p=PuTTY.git

diff --git a/doc/man-psft.but b/doc/man-psft.but
index 12aa81f2..80d86ecf 100644
--- a/doc/man-psft.but
+++ b/doc/man-psft.but
@@ -53,6 +53,27 @@ to aid in verifying new files released by the PuTTY team.
 
 \dd Connect to port \e{port}.
 
+\dt \cw{\-proxycmd} \e{command}
+
+\dd Instead of making a TCP connection, use \e{command} as a proxy;
+network traffic will be redirected to the standard input and output
+of \e{command}. \e{command} must be a single word, so is likely to
+need quoting by the shell.
+
+\lcont{
+The special strings \cw{%host} and \cw{%port} in \e{command} will be
+replaced by the hostname and port number you want to connect to; to get
+a literal \c{%} sign, enter \c{%%}.
+
+Backslash escapes are also supported, such as sequences like \c{\\n}
+being replaced by a literal newline; to get a literal backslash,
+enter \c{\\\\}. (Further escaping may be required by the shell.)
+
+(See the main PuTTY manual for full details of the supported \cw{%}-
+and backslash-delimited tokens, although most of them are probably not
+very useful in this context.)
+}
+
 \dt \cw{-l} \e{user}
 
 \dd Set remote username to \e{user}.