aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2017-06-28 10:00:13 +0200
committerRobert Alessi <alessi@robertalessi.net>2017-06-28 10:00:13 +0200
commit489d2acfe9027ba19c894326f524bab4bd0bb368 (patch)
tree2f6c916806bcb88d0047cc4409e61779ea20d8fe
parentcd9dfe4561e7b6c1e5ab1e01218eb3a4849fb2c8 (diff)
downloadarabluatex-489d2acfe9027ba19c894326f524bab4bd0bb368.tar.gz
issue <??> for any [%^%_] left unprocessed instead of issuing a 'missing $ inserted' error
-rw-r--r--arabluatex_trans.lua3
-rw-r--r--arabluatex_voc.lua3
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
32nulltr = { 32nulltr = {
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 = {
838null = { 838null = {
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}