diff --git a/doc/user.xml b/doc/user.xml index 02d94c0f6..a08a5aec0 100644 --- a/doc/user.xml +++ b/doc/user.xml @@ -1532,6 +1532,14 @@ buffer_size: 16384 Opens remote files or streams over HTTP. + + Note that unless overridden by the below settings (e.g. by + setting them to a blank value), general curl configuration + from environment variables such as + http_proxy or specified in + ~/.curlrc will be in effect. + +