diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-06-16 14:27:56 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-06-16 14:27:56 +0200 |
| commit | c0f4f586979856a900ce3b4f0944d5d8035494b9 (patch) | |
| tree | 61944047b42c108bb5142bd5048ac7f8958e00c8 /arabluatex.lua | |
| parent | feb596d1f44c2c2b8149b209964270cdb303291b (diff) | |
| download | arabluatex-c0f4f586979856a900ce3b4f0944d5d8035494b9.tar.gz | |
added hard-coded sukūn
Diffstat (limited to 'arabluatex.lua')
| -rw-r--r-- | arabluatex.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arabluatex.lua b/arabluatex.lua index 84562be..4ff7538 100644 --- a/arabluatex.lua +++ b/arabluatex.lua | |||
| @@ -204,7 +204,7 @@ local function processarbnull(str, scheme) | |||
| 204 | else | 204 | else |
| 205 | str = string.gsub(str, "(\\arbnull.?)(%b{})", function(tag, body) | 205 | str = string.gsub(str, "(\\arbnull.?)(%b{})", function(tag, body) |
| 206 | body = string.sub(body, 2, -2) | 206 | body = string.sub(body, 2, -2) |
| 207 | return string.format("o%so", body) | 207 | return string.format("O%sO", body) |
| 208 | end) | 208 | end) |
| 209 | end | 209 | end |
| 210 | return str | 210 | return str |