aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2015-09-03 17:35:30 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2015-09-03 17:35:30 +0200
commit106564592df2f75889d69614ad50ac5de3dd3cab (patch)
tree5dff8dc43041072064e7016de1b52d92095f1e2b
parent60f040e8b1aa413b99c8bbc2d6bec43a34521aa8 (diff)
Remove stray space
-rw-r--r--odb/options.cli2
1 files changed, 1 insertions, 1 deletions
diff --git a/odb/options.cli b/odb/options.cli
index cf278cb..0e01fd5 100644
--- a/odb/options.cli
+++ b/odb/options.cli
@@ -943,7 +943,7 @@ 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 (\cb{\"}) or single (\cb{'}) quotes to preserve
+ 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, enclose it
with an extra pair of quotes, for example \cb{'\"x\"'}. Non-leading