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_trans.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_trans.lua')
-rw-r--r-- | arabluatex_trans.lua | 3 |
1 files changed, 2 insertions, 1 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 |