diff options
| -rw-r--r-- | doc/guide/index.xhtml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/guide/index.xhtml b/doc/guide/index.xhtml index 098fcd7..fe094cf 100644 --- a/doc/guide/index.xhtml +++ b/doc/guide/index.xhtml @@ -750,16 +750,16 @@ namespace cli options. Such a file contains a set of options, each appearing on a separate line optionally followed by space and an option value. Empty lines and lines starting with <code>#</code> are ignored. Option values can - be enclosed in double quotes (<code>" "</code>) to preserve leading + be enclosed in double quotes (<code>""</code>) to preserve leading and trailing whitespaces as well as to specify empty values. If the value itself contains trailing or leading double quote, enclose - it into an extra pair of double quotes, for example <code>""x""</code>. + it with an extra pair of double quotes, for example <code>""x""</code>. Non-leading and non-trailing quotes are interpreted as being part of the option value.</p> <p>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 options file is specified, except that shell escaping + point where the options file is specified, except that the shell escaping and quoting is not required. Multiple files can be specified by including several file options on the command line or inside other files.</p> |