diff options
Diffstat (limited to 'cli/options.cli')
-rw-r--r-- | cli/options.cli | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/cli/options.cli b/cli/options.cli index 58f9565..ffa92df 100644 --- a/cli/options.cli +++ b/cli/options.cli @@ -214,10 +214,10 @@ class options "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. 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 + be enclosed in double (\cb{\"}) or single (\cb{'}) quotes 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 quotes, for example \cb{'\"x\"'}. Non-leading and non-trailing quotes are interpreted as being part of the option value. |