From 2c97fa84c11f6087872392d83bbf17fbd4f6fb0f Mon Sep 17 00:00:00 2001 From: Daniel Kahn Gillmor Date: Sun, 20 Nov 2016 21:35:13 -0500 Subject: [PATCH] doc: Clarify dirmngr --homedir option. -- Signed-off-by: Daniel Kahn Gillmor --- doc/dirmngr.texi | 4 ++-- 1 file 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.