diff options
Diffstat (limited to 'doc/guide/index.xhtml')
| -rw-r--r-- | doc/guide/index.xhtml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/guide/index.xhtml b/doc/guide/index.xhtml index fe094cf..aeb7892 100644 --- a/doc/guide/index.xhtml +++ b/doc/guide/index.xhtml @@ -750,12 +750,12 @@ 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 - and trailing whitespaces as well as to specify empty values. If the - value itself contains trailing or leading double quote, enclose - 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> + be enclosed in double (<code>"</code>) or single (<code>'</code>) + quotes to preserve leading and trailing whitespaces as well as to + specify empty values. If the value itself contains trailing or leading + quote, enclose it with an extra pair of 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 |