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 | |
| parent | 625a5aae946e7623ab26847602febb7108b548b2 (diff) | |
| download | arabluatex-bf6055c05178e7146ab842e9471b2c3d5a4afd15.tar.gz | |
export to utf: remove added space between commands and arguments
| -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) |