summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2009-12-10 10:49:59 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2009-12-10 10:49:59 +0200
commit2dc2da5488ac32da8c6ff7cd0eeb5e1beb38c92f (patch)
tree681d11e10eb7f8dfb5ea8c4086937ec1788be954
parent4ad81437b15fc6856f9848a1d3e795b1cf78030f (diff)
Minor terminology fix
-rw-r--r--doc/guide/index.xhtml2
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