diff options
author | Robert Alessi <alessi@robertalessi.net> | 2019-02-16 09:51:46 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2019-02-16 09:51:46 +0100 |
commit | bf6055c05178e7146ab842e9471b2c3d5a4afd15 (patch) | |
tree | d851f3552dd9db14db3afe67c3aa97b494f6f862 /arabluatex.lua | |
parent | 625a5aae946e7623ab26847602febb7108b548b2 (diff) | |
download | arabluatex-bf6055c05178e7146ab842e9471b2c3d5a4afd15.tar.gz |
export to utf: remove added space between commands and arguments
Diffstat (limited to 'arabluatex.lua')
-rw-r--r-- | arabluatex.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arabluatex.lua b/arabluatex.lua index 37e941e..435519c 100644 --- a/arabluatex.lua +++ b/arabluatex.lua | |||
@@ -870,6 +870,7 @@ function al_closestream() | |||
870 | [[ and compile it one more time}}]]) | 870 | [[ and compile it one more time}}]]) |
871 | -- | 871 | -- |
872 | else end | 872 | else end |
873 | t = gsub(t, cmd * spce * cmdargs, "%1%3") | ||
873 | t = t.."\n\\end{document}" | 874 | t = t.."\n\\end{document}" |
874 | io.write(t) | 875 | io.write(t) |
875 | o:write(t) | 876 | o:write(t) |