summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilipp Erhardt <Philipp.Erhardt@informatik.stud.uni-erlangen.de>2017-06-08 18:05:38 +0200
committerPhilipp Erhardt <Philipp.Erhardt@informatik.stud.uni-erlangen.de>2017-06-08 18:05:38 +0200
commit1c6a826fcf41304f354b17f60c815124b55b6465 (patch)
treeb7239431c6d3f6b781837b9707728ba6a54fff44
parent2c64c8b6974804f660113fbb7e94dbdff888e0e3 (diff)
Add 'version' option to doc
-rw-r--r--doc/katarakt.txt2
-rw-r--r--src/main.cpp2
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;
}