diff options
Diffstat (limited to 'doc/dirmngr.texi')
| -rw-r--r-- | doc/dirmngr.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/dirmngr.texi b/doc/dirmngr.texi index 20ea18d08..eda33064e 100644 --- a/doc/dirmngr.texi +++ b/doc/dirmngr.texi @@ -429,6 +429,12 @@ ignoring DPs entirely. Ignore all OCSP URLs contained in the certificate. The effect is to force the use of the default responder. +@item --user-agent @var{string} +@opindex user-agent +Change the default User-Agent for HTTP requests to @var{string}. If +@var{string} is empty or has the value ``none'' no User-Agent header +will be used. + @item --honor-http-proxy @opindex honor-http-proxy If the environment variable @env{http_proxy} has been set, use its |