diff options
| -rw-r--r-- | doc/guide/index.xhtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guide/index.xhtml b/doc/guide/index.xhtml index 0b43209..24b42c7 100644 --- a/doc/guide/index.xhtml +++ b/doc/guide/index.xhtml @@ -748,7 +748,7 @@ namespace cli <p>The <code>file_option</code> argument is used to pass the option name that should be recognized as specifying the file containing additional options. Such a file contains a set of options, each appearing on a - separate line optionally followed by space and an argument. Empty lines + separate line optionally followed by space and an option value. Empty lines and lines starting with <code>#</code> are ignored. The semantics of providing options in a file is equivalent to providing the same set of options in the same order on the command line at the point where the |