diff options
Diffstat (limited to 'doc/dirmngr.texi')
| -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 |