[PATCH] doc: Clarify dirmngr --homedir option.

Daniel Kahn Gillmor dkg at fifthhorseman.net
Mon Nov 21 03:35:13 CET 2016


* doc/dirmngr.texi: Fix minor spelling and grammar issues in
documentation of --homedir option for dirmngr.

Signed-off-by: Daniel Kahn Gillmor <dkg at fifthhorseman.net>
---
 doc/dirmngr.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/dirmngr.texi b/doc/dirmngr.texi
index be4e97a..963dff8 100644
--- a/doc/dirmngr.texi
+++ b/doc/dirmngr.texi
@@ -142,10 +142,10 @@ per-user configuration file.  The default configuration file is named
 @item --homedir @var{dir}
 @opindex options
 Set the name of the home directory to @var{dir}.  This option is only
-effective when used on the command line.  The default os
+effective when used on the command line.  The default is
 the directory named @file{.gnupg} directly below the home directory
 of the user unless the environment variable @code{GNUPGHOME} has been set
-in which case its value will be used.  All kind of data is stored below
+in which case its value will be used.  Many kinds of data are stored within
 this directory.
 
 
-- 
2.10.2




More information about the Gnupg-devel mailing list