From 74fff9901d9529cdde4ed42254aa21afe466ac3a Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Sat, 24 Mar 2018 13:00:05 +0200 Subject: Add --keep-separator option --- cli/options.cli | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'cli/options.cli') diff --git a/cli/options.cli b/cli/options.cli index 30b45b3..97b63aa 100644 --- a/cli/options.cli +++ b/cli/options.cli @@ -575,6 +575,12 @@ class options option separator to the empty value if you don't want this functionality." }; + bool --keep-separator + { + "Leave the option separator in the scanner. This is primarily useful for + incremental option parsing." + }; + bool --include-with-brackets { "Use angle brackets (\cb{<>}) instead of quotes (\cb{\"\"}) in the -- cgit v1.1