diff options
author | Philipp Erhardt <Philipp.Erhardt@informatik.stud.uni-erlangen.de> | 2017-06-08 18:05:38 +0200 |
---|---|---|
committer | Philipp Erhardt <Philipp.Erhardt@informatik.stud.uni-erlangen.de> | 2017-06-08 18:05:38 +0200 |
commit | 1c6a826fcf41304f354b17f60c815124b55b6465 (patch) | |
tree | b7239431c6d3f6b781837b9707728ba6a54fff44 | |
parent | 2c64c8b6974804f660113fbb7e94dbdff888e0e3 (diff) |
Add 'version' option to doc
-rw-r--r-- | doc/katarakt.txt | 2 | ||||
-rw-r--r-- | src/main.cpp | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/doc/katarakt.txt b/doc/katarakt.txt index d47e9d8..9e6a1a9 100644 --- a/doc/katarakt.txt +++ b/doc/katarakt.txt @@ -48,6 +48,8 @@ OPTIONS *--write-default-config* 'FILE':: Write the built-in default configuration to 'FILE' and exit. Hint: on unix systems, you can use '--write-defaults /dev/stdout' to print the defaults. +*-v*, *--version* :: + Print version information and exit. *-h*, *--help* :: Print help and exit. diff --git a/src/main.cpp b/src/main.cpp index 058ef50..4973878 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -27,7 +27,7 @@ static void print_help(char *name) { cout << " -q, --quit true|false Quit on initialization failure" << endl; cout << " -s, --single-instance true|false Whether to have a single instance per file" << endl; cout << " --write-default-config FILE Write the default configuration to FILE and exit" << endl; - cout << " -v, --version Print version information" << endl; + cout << " -v, --version Print version information and exit" << endl; cout << " -h, --help Print this help and exit" << endl; } |