doc: Typo fixes for dirmngr.texi

--
This commit is contained in:
Werner Koch 2021-02-25 17:03:35 +01:00
parent c032066d6b
commit e54cd36bbb
No known key found for this signature in database
GPG Key ID: E3FDFF218E45B72B
1 changed files with 3 additions and 3 deletions

View File

@ -253,9 +253,9 @@ network). Certain other features are disabled in this mode. The
effect of @option{--use-tor} cannot be overridden by any other command
or even by reloading dirmngr. The use of @option{--no-use-tor}
disables the use of Tor. The default is to use Tor if it is available
on startup or after reloading dirmngr. The test on the available of
Tor is done by trying to connects to a SOCKS proxy at either port 9050
or 9150); if another type of proxy is listening on one of these ports,
on startup or after reloading dirmngr. The test on the availability of
Tor is done by trying to connect to a SOCKS proxy at either port 9050
or 9150; if another type of proxy is listening on one of these ports,
you should use @option{--no-use-tor}.
@item --standard-resolver