diff options
| author | Werner Koch <[email protected]> | 2021-11-05 07:59:50 +0000 |
|---|---|---|
| committer | Werner Koch <[email protected]> | 2021-11-05 08:00:19 +0000 |
| commit | 8d6968c52cc83985631ecd074929ab06fab93ad7 (patch) | |
| tree | 302b497bdf6ca61232a7f79e5c67c810da93a264 | |
| parent | build: Let the release target also sign the wixlib. (diff) | |
| download | gnupg-8d6968c52cc83985631ecd074929ab06fab93ad7.tar.gz gnupg-8d6968c52cc83985631ecd074929ab06fab93ad7.zip | |
doc: Minor fix for --http-proxy.
--
| -rw-r--r-- | doc/dirmngr.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/dirmngr.texi b/doc/dirmngr.texi index 2c8ae671f..e47f39c0b 100644 --- a/doc/dirmngr.texi +++ b/doc/dirmngr.texi @@ -414,7 +414,7 @@ force the use of the default responder. If the environment variable @env{http_proxy} has been set, use its value to access HTTP servers. -@item --http-proxy @var{host}[:@var{port}] +@item --http-proxy [http://]@var{host}[:@var{port}] @opindex http-proxy @efindex http_proxy Use @var{host} and @var{port} to access HTTP servers. The use of this |