diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-08-26 11:48:58 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-08-26 11:48:58 +0200 |
commit | 8b10020879e9fe881d91aeff2c66b2670dfe25c7 (patch) | |
tree | e90c4dc69129992bbe8ae2e9c68c599f0f740966 /arabluatex.lua | |
parent | d6fa410da467eb6c030e89341840e8d16c151d80 (diff) | |
download | arabluatex-8b10020879e9fe881d91aeff2c66b2670dfe25c7.tar.gz |
still documenting. remove \txtrans nested inside \prname*
Diffstat (limited to 'arabluatex.lua')
-rw-r--r-- | arabluatex.lua | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/arabluatex.lua b/arabluatex.lua index 8fc04d6..5b2d2e3 100644 --- a/arabluatex.lua +++ b/arabluatex.lua | |||
@@ -817,7 +817,11 @@ function al_closestream() | |||
817 | t = string.gsub(t, "(\\end%s?)(%b{})", "%1%2\n") | 817 | t = string.gsub(t, "(\\end%s?)(%b{})", "%1%2\n") |
818 | t = string.gsub(t, "([^\n]%s-)(\\end)%s?(%b{})", "%1\n%2%3") | 818 | t = string.gsub(t, "([^\n]%s-)(\\end)%s?(%b{})", "%1\n%2%3") |
819 | t = string.gsub(t, "\n\n\n", "\n\n") | 819 | t = string.gsub(t, "\n\n\n", "\n\n") |
820 | t = string.gsub(t, "(\\txarb%s?%{)(\\txarb%s?%b{})(%})", "%2") | 820 | t = string.gsub(t, "(\\txarb%s?%{)(\\txarb%s?)(%b{})(%})", "%1%3%4") |
821 | t = string.gsub(t, "(\\prname%s?%*%{)(\\txtrans%s?)(%b{})(%})", function(tagio, tagii, body, tagic) | ||
822 | body = string.sub(body, 2, -2) | ||
823 | return string.format("%s%s%s", tagio, body, tagic) | ||
824 | end) | ||
821 | if string.find(t, "\\begin%s?{document}.-\\arb%s?[%[%{]") or | 825 | if string.find(t, "\\begin%s?{document}.-\\arb%s?[%[%{]") or |
822 | string.find(t, "\\begin%s?{document}.-\\[Uu]c%s?%b{}") | 826 | string.find(t, "\\begin%s?{document}.-\\[Uu]c%s?%b{}") |
823 | then | 827 | then |