diff options
Diffstat (limited to 'doc/tools.texi')
| -rw-r--r-- | doc/tools.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tools.texi b/doc/tools.texi index 51bfb09eb..985c0a75c 100644 --- a/doc/tools.texi +++ b/doc/tools.texi @@ -83,7 +83,7 @@ or if no such user directory hierarchy exists @file{~/.gnupg/S.log}). @item --force @opindex force -Delete an already existing socket file. This option is implictly used +Delete an already existing socket file. This option is implicitly used if no socket name has been given on the command line. @item --homedir @var{DIR} |