From 8d6968c52cc83985631ecd074929ab06fab93ad7 Mon Sep 17 00:00:00 2001
From: Werner Koch <wk@gnupg.org>
Date: Fri, 5 Nov 2021 08:59:50 +0100
Subject: [PATCH] doc: Minor fix for --http-proxy.

--
---
 doc/dirmngr.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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