1
0
mirror of git://git.gnupg.org/gnupg.git synced 2024-12-23 10:29:58 +01:00

doc: Minor fix for --http-proxy.

--
This commit is contained in:
Werner Koch 2021-11-05 08:59:50 +01:00
parent 6c5765907a
commit 8d6968c52c
No known key found for this signature in database
GPG Key ID: E3FDFF218E45B72B

View File

@ -414,7 +414,7 @@ force the use of the default responder.
If the environment variable @env{http_proxy} has been set, use its If the environment variable @env{http_proxy} has been set, use its
value to access HTTP servers. value to access HTTP servers.
@item --http-proxy @var{host}[:@var{port}] @item --http-proxy [http://]@var{host}[:@var{port}]
@opindex http-proxy @opindex http-proxy
@efindex http_proxy @efindex http_proxy
Use @var{host} and @var{port} to access HTTP servers. The use of this Use @var{host} and @var{port} to access HTTP servers. The use of this