From 296b35fe9b796a50323f19c84ff0075e4702004b Mon Sep 17 00:00:00 2001
From: Daniel Stenberg <daniel@haxx.se>
Date: Fri, 27 Sep 2002 09:51:42 +0000
Subject: [PATCH] "" proxy means no proxy

---
 docs/curl.1 | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/curl.1 b/docs/curl.1
index 604e77f039..01b9cc14a1 100644
--- a/docs/curl.1
+++ b/docs/curl.1
@@ -687,6 +687,10 @@ If this option is used several times, the last one will be used.
 Use specified HTTP proxy. If the port number is not specified, it is assumed
 at port 1080.
 
+This option overrides existing environment variables that sets proxy to
+use. If there's an environment variable setting a proxy, you can set proxy to
+"" to override it.
+
 \fBNote\fP that all operations that are performed over a HTTP proxy will
 transparantly be converted to HTTP. It means that certain protocol specific
 operations might not be available. This is not the case if you can tunnel
-- 
GitLab