summaryrefslogtreecommitdiff
path: root/doc/guide
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2010-06-02 19:00:23 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2010-06-02 19:00:23 +0200
commit5653d0317e60cea2fb9bb2eed464cb6f024879cb (patch)
treea9d682fb912af153890105ffbdcf7ff723e5dd68 /doc/guide
parent51dc9396d8bd8f0971a59f4e3aa11e8315c394cd (diff)
Cosmetic changes
Diffstat (limited to 'doc/guide')
-rw-r--r--doc/guide/index.xhtml6
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>