security-and-privacy/gnupg
security-and-privacy/gnupg
1
0
Fork 0
mirror of git://git.gnupg.org/gnupg.git synced 2025-07-02 22:46:30 +02:00
Code Activity

doc: Add files and envvars to a new index.

Browse source 
* doc/gnupg.texi: Define new index "ef".
(Environment Index): New.

Signed-off-by: Werner Koch <wk@gnupg.org>
This commit is contained in:
Werner Koch 2016-06-14 14:57:49 +02:00
parent f980cd2e0e
commit 2423238ee4
No known key found for this signature in database
GPG key ID: E3FDFF218E45B72B
8 changed files with 75 additions and 29 deletions
Download patch file Download diff file Expand all files Collapse all files

1
doc/dirmngr.texi
View file

@ -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.