diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2017-06-28 10:00:13 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2017-06-28 10:00:13 +0200 |
| commit | 489d2acfe9027ba19c894326f524bab4bd0bb368 (patch) | |
| tree | 2f6c916806bcb88d0047cc4409e61779ea20d8fe /arabluatex_voc.lua | |
| parent | cd9dfe4561e7b6c1e5ab1e01218eb3a4849fb2c8 (diff) | |
| download | arabluatex-489d2acfe9027ba19c894326f524bab4bd0bb368.tar.gz | |
issue <??> for any [%^%_] left unprocessed instead of issuing a 'missing $ inserted' error
Diffstat (limited to 'arabluatex_voc.lua')
| -rw-r--r-- | arabluatex_voc.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/arabluatex_voc.lua b/arabluatex_voc.lua index f3f093b..4ebe744 100644 --- a/arabluatex_voc.lua +++ b/arabluatex_voc.lua | |||
| @@ -838,5 +838,6 @@ punctuation = { | |||
| 838 | null = { | 838 | null = { |
| 839 | {a="%|", b=""}, | 839 | {a="%|", b=""}, |
| 840 | {a="([^0-9])(%-)", b="%1"}, | 840 | {a="([^0-9])(%-)", b="%1"}, |
| 841 | {a="o[%S]-o", b=""} | 841 | {a="o[%S]-o", b=""}, |
| 842 | {a="[%^%_](.)", b=">??<%1"} | ||
| 842 | } | 843 | } |