diff options
Diffstat (limited to 'doc/dirmngr.texi')
| -rw-r--r-- | doc/dirmngr.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/dirmngr.texi b/doc/dirmngr.texi index 5b73d7b4d..e87442fe8 100644 --- a/doc/dirmngr.texi +++ b/doc/dirmngr.texi @@ -312,6 +312,7 @@ value to access HTTP servers. @item --http-proxy @var{host}[:@var{port}] @opindex http-proxy +@efindex http_proxy Use @var{host} and @var{port} to access HTTP servers. The use of this option overrides the environment variable @env{http_proxy} regardless whether @option{--honor-http-proxy} has been set. |