diff options
author | Daiki Ueno <ueno@gnu.org> | 2022-01-04 09:06:21 +0100 |
---|---|---|
committer | Daiki Ueno <ueno@gnu.org> | 2022-01-15 09:25:56 +0100 |
commit | bf78b2258ea8c3392a85014bc828739b0a32e2c8 (patch) | |
tree | 8526de001ca2317791e7e822f8f7a212be1e2c93 /doc/psktool-examples.texi | |
parent | 26578b7d02c269ff1d34ff782d84c7667734d03d (diff) | |
download | gnutls-bf78b2258ea8c3392a85014bc828739b0a32e2c8.tar.gz |
doc: generate texinfo files from JSON
This replaces texinfo generation previously provided by the autogen
-Tagtexi.tpl command with a Python script (gen-cmd-texi.py).
Signed-off-by: Daiki Ueno <ueno@gnu.org>
Diffstat (limited to 'doc/psktool-examples.texi')
-rw-r--r-- | doc/psktool-examples.texi | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/psktool-examples.texi b/doc/psktool-examples.texi new file mode 100644 index 0000000000..343464a2b8 --- /dev/null +++ b/doc/psktool-examples.texi @@ -0,0 +1,12 @@ +To add a user 'psk_identity' in @file{keys.psk} for use with GnuTLS run: +@example +$ ./psktool -u psk_identity -p keys.psk +Generating a random key for user 'psk_identity' +Key stored to keys.psk +$ cat keys.psk +psk_identity:88f3824b3e5659f52d00e959bacab954b6540344 +$ +@end example + +This command will create @file{keys.psk} if it does not exist +and will add user 'psk_identity'. |