summaryrefslogtreecommitdiff
path: root/doc/config
diff options
context:
space:
mode:
authorPhil Jones <philj56@gmail.com>2022-12-01 20:24:35 +0000
committerPhil Jones <philj56@gmail.com>2022-12-01 20:24:35 +0000
commitfff5211d2776185348d6b813f2a16cedd5f485d0 (patch)
tree2a4c7f38491e3168c14db4c6fc633210950cbd04 /doc/config
parentdd36bf1c53216e1828d136cb735d65816575571f (diff)
Add --ascii-input option.
Diffstat (limited to 'doc/config')
-rw-r--r--doc/config5
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/config b/doc/config
index 017aeb1..4ce0a7d 100644
--- a/doc/config
+++ b/doc/config
@@ -255,6 +255,11 @@
# from running simultaneously.
multi-instance = false
+ # Assume input is plain ASCII, and disable some Unicode handling
+ # functions. This is faster, but means e.g. a search for "e" will not
+ # match "é".
+ ascii-input = false
+
#
### Inclusion
#