diff --git a/doc/tools/pkcs15-tool.xml b/doc/tools/pkcs15-tool.xml index 1c67a95a..90d5bbc3 100644 --- a/doc/tools/pkcs15-tool.xml +++ b/doc/tools/pkcs15-tool.xml @@ -135,7 +135,7 @@ - pin, + pin, pin Specifies the auth id of the PIN to use for the operation. This is useful with the --change-pin operation.