summaryrefslogtreecommitdiff
path: root/cli
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2019-04-04 17:49:43 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2019-04-04 17:49:43 +0300
commit1cbe6319e3efe5e1ad2855217e8a0eb071414c7e (patch)
tree1c7f15952355ad83c380d3151f56b5f4e4201199 /cli
parentf27f579358d2c12fc3926bfd5bb95ef3e08ca6a7 (diff)
Remove redundant space in option description
Diffstat (limited to 'cli')
-rw-r--r--cli/options.cli2
1 files changed, 1 insertions, 1 deletions
diff --git a/cli/options.cli b/cli/options.cli
index 9af36cd..631f52f 100644
--- a/cli/options.cli
+++ b/cli/options.cli
@@ -638,7 +638,7 @@ class options
option value. Empty lines and lines starting with \cb{#} are ignored.
Option values can 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 quotes,
+ empty values. If the value itself contains trailing or leading quotes,
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.