AutoGen Definitions options;
prog-name     = psktool;
prog-title    = "GnuTLS PSK tool";
prog-desc     = "Program to create PSK parameters.\n";
detail    = "Program  that generates random keys for use with TLS-PSK. The
keys are stored in hexadecimal format in a key file.";
help-value = "h";
short-usage   = "psktool [options]\npsktool --help for usage instructions.\n";
prog-group    = "GnuTLS";
explain       = "";
gnu-usage;
no-xlate = opt;
no-misuse-usage;
disable-save;
long-opts;
config-header = 'config.h';
export = '#include <gettext.h>';

copyright = {
    date  = "2000-2012";
    owner = "Free Software Foundation";
    author = "Nikos Mavrogiannopoulos, Simon Josefsson and others; see /usr/share/doc/gnutls-bin/AUTHORS for a complete list.";
    eaddr  = "bug-gnutls@gnu.org";
    type  = gpl;
};
version = "@VERSION@";

flag = {
    name      = debug;
    value     = d;
    arg-type  = number;
    arg-range = "0 -> 9999";
    descrip   = "Enable debugging.";
    doc       = "Specifies the debug level.";
};

flag = {
    name      = keysize;
    value     = s;
    arg-type  = number;
    arg-range = "0 -> 512";
    descrip   = "specify the key size in bytes";
    doc = "";
};

flag = {
    name      = username;
    value     = u;
    arg-type  = string;
    descrip   = "specify a username";
    doc = "";
};

flag = {
    name      = passwd;
    value     = p;
    arg-type  = string;
    descrip   = "specify a password file.";
    doc       = "";
};

doc-section = {
  ds-type = 'SEE ALSO';
  ds-format = 'texi';
  ds-text   = <<-_EOT_
    gnutls-cli-debug (1), gnutls-serv (1), srptool (1), certtool (1)
_EOT_;
};

doc-section = {
  ds-type = 'EXAMPLES';
  ds-format = 'texi';
  ds-text   = <<-_EOT_
To add a user 'psk_identity' in @file{passwd.psk} for use with GnuTLS run:
@example
$ ./psktool -u psk_identity -p passwd.psk
Generating a random key for user 'psk_identity'
Key stored to passwd.psk
$ cat psks.txt
psk_identity:88f3824b3e5659f52d00e959bacab954b6540344
$
@end example

This command will create @file{passwd.psk} if it does not exist
and will add user 'psk_identity' (you will also be prompted for a password). 
_EOT_;
};