doc: Fix documentation.
authorJustus Winter <justus@g10code.com>
Mon, 8 May 2017 10:18:19 +0000 (12:18 +0200)
committerJustus Winter <justus@g10code.com>
Mon, 8 May 2017 10:18:19 +0000 (12:18 +0200)
--
Fixes-commit: da4db172f6f8fb254b770e59770c531a488e2400
Signed-off-by: Justus Winter <justus@g10code.com>
doc/gpg.texi

index aa55cb8..1a0ea55 100644 (file)
@@ -393,7 +393,7 @@ functionality is also available as the subcommand "passwd" with the
 @option{--edit-card} command.
 
 @item --delete-keys @code{name}
-@itemx --delete-keys @code{name}
+@opindex delete-keys
 Remove key from the public keyring. In batch mode either @option{--yes} is
 required or the key must be specified by fingerprint. This is a
 safeguard against accidental deletion of multiple keys.