From 2dc2da5488ac32da8c6ff7cd0eeb5e1beb38c92f Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Thu, 10 Dec 2009 10:49:59 +0200 Subject: Minor terminology fix --- doc/guide/index.xhtml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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

The file_option 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 # 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 -- cgit v1.1