[Pkg-gnupg-commit] [gnupg2] 04/180: doc: Clarify dirmngr --homedir option.

[Daniel Kahn Gillmor]

This is an automated email from the git hooks/post-receive script.

dkg pushed a commit to branch master
in repository gnupg2.

commit 2c97fa84c11f6087872392d83bbf17fbd4f6fb0f
Author: Daniel Kahn Gillmor <dkg at fifthhorseman.net>
Date:   Sun Nov 20 21:35:13 2016 -0500

    doc: Clarify dirmngr --homedir option.
    
    --
    
    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.
 
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-gnupg/gnupg2.git