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 | |
parent | cd9dfe4561e7b6c1e5ab1e01218eb3a4849fb2c8 (diff) | |
download | arabluatex-489d2acfe9027ba19c894326f524bab4bd0bb368.tar.gz |
issue <??> for any [%^%_] left unprocessed instead of issuing a 'missing $ inserted' error
-rw-r--r-- | arabluatex_trans.lua | 3 | ||||
-rw-r--r-- | arabluatex_voc.lua | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/arabluatex_trans.lua b/arabluatex_trans.lua index defb3b4..412018d 100644 --- a/arabluatex_trans.lua +++ b/arabluatex_trans.lua | |||
@@ -31,7 +31,8 @@ punctuationtr = { | |||
31 | 31 | ||
32 | nulltr = { | 32 | nulltr = { |
33 | {a="%|", b=""}, | 33 | {a="%|", b=""}, |
34 | {a="o[%S]-o", b=""} | 34 | {a="o[%S]-o", b=""}, |
35 | {a="[%^%_](.)", b="<??>%1"} | ||
35 | } | 36 | } |
36 | 37 | ||
37 | -- cap | 38 | -- cap |
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 | } |