diff options
Diffstat (limited to 'Help/manual/OPTIONS_HELP.txt')
| -rw-r--r-- | Help/manual/OPTIONS_HELP.txt | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/Help/manual/OPTIONS_HELP.txt b/Help/manual/OPTIONS_HELP.txt index 0e51a7f..78ee245 100644 --- a/Help/manual/OPTIONS_HELP.txt +++ b/Help/manual/OPTIONS_HELP.txt @@ -1,4 +1,9 @@ -.. |file| replace:: The help is printed to a named ``<file>`` if given. +.. |file| replace:: The output is printed to a named ``<file>`` if given. + +.. option:: -version [<file>], --version [<file>], /V [<file>] + + Show program name/version banner and exit. + |file| .. option:: -h, -H, --help, -help, -usage, /? @@ -6,13 +11,6 @@ Usage describes the basic command line interface and its options. -.. option:: -version [<file>], --version [<file>], /V [<file>] - - Show program name/version banner and exit. - - If a file is specified, the version is written into it. - |file| - .. option:: --help-full [<file>] Print all help manuals and exit. |