diff options
Diffstat (limited to 'doc/gpgv.texi')
| -rw-r--r-- | doc/gpgv.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gpgv.texi b/doc/gpgv.texi index 2dd9576b6..c8ba9fa5e 100644 --- a/doc/gpgv.texi +++ b/doc/gpgv.texi @@ -91,7 +91,7 @@ Add @var{file} to the list of keyrings. If @var{file} begins with a tilde and a slash, these are replaced by the HOME directory. If the filename does not contain a slash, it is assumed to be in the -home-directory ("~/.gnupg" if --homedir is not used). +home-directory ("~/.gnupg" if @option{--homedir} is not used). @item --output @var{file} @itemx -o @var{file} |