summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorNikos Mavrogiannopoulos <nmav@redhat.com>2016-01-21 14:45:56 +0100
committerNikos Mavrogiannopoulos <nmav@redhat.com>2016-01-21 14:48:06 +0100
commit7a109d053fef7cc95be30c16e10528c7ae86d167 (patch)
tree62d22240d957f06a4389b75473d0fa5d35d0a0eb /src
parentb9d2c7466f1e23105a87dd133ead5911de7277f8 (diff)
downloadgnutls-7a109d053fef7cc95be30c16e10528c7ae86d167.tar.gz
certtool: corrected texinfo output for krb5_principal
Diffstat (limited to 'src')
-rw-r--r--src/certtool-args.def4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/certtool-args.def b/src/certtool-args.def
index 199801cd74..47549fb05f 100644
--- a/src/certtool-args.def
+++ b/src/certtool-args.def
@@ -772,8 +772,8 @@ expiration_days = 700
#xmpp_name = juliet@im.example.com
# Names used in PKINIT
-#krb5_principal = user@REALM.COM
-#krb5_principal = HTTP/user@REALM.COM
+#krb5_principal = user@@REALM.COM
+#krb5_principal = HTTP/user@@REALM.COM
# A subject alternative name URI
#uri = "http://www.example.com"