diff options
| author | Werner Koch <[email protected]> | 2016-06-14 12:57:49 +0000 |
|---|---|---|
| committer | Werner Koch <[email protected]> | 2016-06-14 12:58:00 +0000 |
| commit | 2423238ee4c8a8c531dfe9e45c95f2760b638faa (patch) | |
| tree | 223929ead9ab47b71356d16669fbcb35a9247564 /doc/dirmngr.texi | |
| parent | gpg: Avoid endless loop in a tofu error case. (diff) | |
| download | gnupg-2423238ee4c8a8c531dfe9e45c95f2760b638faa.tar.gz gnupg-2423238ee4c8a8c531dfe9e45c95f2760b638faa.zip | |
doc: Add files and envvars to a new index.
* doc/gnupg.texi: Define new index "ef".
(Environment Index): New.
Signed-off-by: Werner Koch <[email protected]>
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. |