1 files changed, 13 insertions, 6 deletions

diff --git a/cli/options.cli b/cli/options.cli
index dff5443..58f9565 100644
--- a/cli/options.cli
+++ b/cli/options.cli
@@ -213,11 +213,18 @@ class options
     "<file>",
     "Read additional options from <file> with each option appearing on a
      separate line optionally followed by space and an option value. Empty
-     lines and lines starting with \cb{#} 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
-     \cb{--options-file} option is specified except that shell escaping and
-     quoting is not required. Repeat this option to specify more than one
-     options files."
+     lines and lines starting with \cb{#} are ignored. Option values can
+     be enclosed in double quotes (\cb{\"\"}) 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 \cb{\"\"x\"\"}. Non-leading
+     and non-trailing quotes are interpreted as being part of the option
+     value.
+
+     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 \cb{--options-file} option is specified except that
+     the shell escaping and quoting is not required. Repeat this option
+     to specify more than one options files."
   };
 };