From 6fdeef5b61c814ba0e475bfc36655e4fe69d7c41 Mon Sep 17 00:00:00 2001 From: Justus Winter Date: Mon, 8 May 2017 12:18:19 +0200 Subject: [PATCH] doc: Fix documentation. -- Fixes-commit: da4db172f6f8fb254b770e59770c531a488e2400 Signed-off-by: Justus Winter --- doc/gpg.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/gpg.texi b/doc/gpg.texi index aa55cb811..1a0ea55ae 100644 --- a/doc/gpg.texi +++ b/doc/gpg.texi @@ -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.