aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel Kahn Gillmor <[email protected]>2016-11-21 02:35:13 +0000
committerNIIBE Yutaka <[email protected]>2016-11-21 08:33:31 +0000
commit2c97fa84c11f6087872392d83bbf17fbd4f6fb0f (patch)
treee6e71bcaf882d0c1ece235b04c2044fe26bf41b0
parentdoc: Ship example gpg-agent-browser.socket in examples/systemd-user/. (diff)
downloadgnupg-2c97fa84c11f6087872392d83bbf17fbd4f6fb0f.tar.gz
gnupg-2c97fa84c11f6087872392d83bbf17fbd4f6fb0f.zip
doc: Clarify dirmngr --homedir option.
-- Signed-off-by: Daniel Kahn Gillmor <[email protected]>
-rw-r--r--doc/dirmngr.texi4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/dirmngr.texi b/doc/dirmngr.texi
index be4e97ab7..963dff855 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.