diff options
| author | Phil Jones <philj56@gmail.com> | 2022-12-01 20:24:35 +0000 |
|---|---|---|
| committer | Phil Jones <philj56@gmail.com> | 2022-12-01 20:24:35 +0000 |
| commit | fff5211d2776185348d6b813f2a16cedd5f485d0 (patch) | |
| tree | 2a4c7f38491e3168c14db4c6fc633210950cbd04 /doc/tofi.5.scd | |
| parent | dd36bf1c53216e1828d136cb735d65816575571f (diff) | |
Add --ascii-input option.
Diffstat (limited to 'doc/tofi.5.scd')
| -rw-r--r-- | doc/tofi.5.scd | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/tofi.5.scd b/doc/tofi.5.scd index 72be59e..4dde4d6 100644 --- a/doc/tofi.5.scd +++ b/doc/tofi.5.scd @@ -118,6 +118,13 @@ options. Default: false +*ascii-input*=_true|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 "é". + + Default: false + # STYLE OPTIONS *font*=_font_ |