diff options
Diffstat (limited to 'doc/gpgv.texi')
| -rw-r--r-- | doc/gpgv.texi | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/doc/gpgv.texi b/doc/gpgv.texi index 6ac5c6884..dc9e17491 100644 --- a/doc/gpgv.texi +++ b/doc/gpgv.texi @@ -18,7 +18,7 @@ @end menu @majorheading Name -gpgv ---- signature verification tool</> +gpgv ---- signature verification tool @majorheading Synopsis @@ -59,8 +59,6 @@ The filename may be prefixed with a scheme: "gnupg-ring:" is the default one. -It might make sense to use it together with ---no-default-keyring. - @item ---homedir @code{directory} Set the name of the home directory to @code{directory} If this option is not used it defaults to "~/.gnupg". It does |