diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-08-21 18:18:31 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-08-21 18:18:31 +0200 |
| commit | eb3764f6c6bd0a361cab857f82232a502101e9b5 (patch) | |
| tree | 19755160d2caf76fa34b34b0e8313b1570a5ffcb | |
| parent | f0195ef546e9c35f539edd3bf01ef8b1b0cb7344 (diff) | |
| download | arabluatex-eb3764f6c6bd0a361cab857f82232a502101e9b5.tar.gz | |
arabtex2utf: remove superfluous empty lines before \begin{}
| -rw-r--r-- | arabluatex.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arabluatex.lua b/arabluatex.lua index 9b46d01..6f62f91 100644 --- a/arabluatex.lua +++ b/arabluatex.lua | |||
| @@ -795,6 +795,7 @@ function al_closestream() | |||
| 795 | t = gsub(t, lpeg.Cs("\\begin") * spcenc^-1 * bcbraces * cmdargs, "\n%1%2%3\n") | 795 | t = gsub(t, lpeg.Cs("\\begin") * spcenc^-1 * bcbraces * cmdargs, "\n%1%2%3\n") |
| 796 | t = string.gsub(t, "(\\\\)(%s?)", "%1\n") | 796 | t = string.gsub(t, "(\\\\)(%s?)", "%1\n") |
| 797 | t = string.gsub(t, "(\\\\)(\n)(\\end%s?)(%b{})", "%1%3%4") | 797 | t = string.gsub(t, "(\\\\)(\n)(\\end%s?)(%b{})", "%1%3%4") |
| 798 | t = string.gsub(t, "%s-\n(\\begin%s?)(%b{})", "\n%1%2") | ||
| 798 | t = string.gsub(t, "(\\item)", "\n%1") | 799 | t = string.gsub(t, "(\\item)", "\n%1") |
| 799 | t = string.gsub(t, "\n\n(\\item)", "\n%1") | 800 | t = string.gsub(t, "\n\n(\\item)", "\n%1") |
| 800 | t = string.gsub(t, "(\\end%s?)(%b{})", "%1%2\n") | 801 | t = string.gsub(t, "(\\end%s?)(%b{})", "%1%2\n") |