Note lack of proxy auto-detection.

[originally from svn r7648]

diff --git a/doc/config.but b/doc/config.but
index 5f74a2cfbbb69ba29efb4d1d1960b22cadc24fff..c573bc0ad76b2f8f598746b1ca8f538b4e8c791d 100644 (file)
--- a/doc/config.but
+++ b/doc/config.but
@@ -1801,6 +1801,11 @@ this panel affect the primary network connection forming your PuTTY
 session, and also any extra connections made as a result of SSH \i{port
 forwarding} (see \k{using-port-forwarding}).
 
+Note that unlike some software (such as web browsers), PuTTY does not
+attempt to automatically determine whether to use a proxy and (if so)
+which one to use for a given destination. If you need to use a proxy,
+it must always be explicitly configured.
+
 \S{config-proxy-type} Setting the proxy type
 
 \cfg{winhelp-topic}{proxy.type}