diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-04-06 11:25:52 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-06 11:25:52 +0200 |
| commit | c2c8bcab4514d0345df70b868996ae7f3fdab3a6 (patch) | |
| tree | 0d1c66eb94f02f7f9c1a16b59e6f7a9c6a357074 | |
| parent | a94aa3ae8e6ccb82abc67e1bda7fed168c86de92 (diff) | |
| download | ekdosis-c2c8bcab4514d0345df70b868996ae7f3fdab3a6.tar.gz | |
remove spaces between tags inside <app></app> as well
| -rw-r--r-- | ekdosis.dtx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index dfaf163..2381af4 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
| @@ -757,7 +757,7 @@ function ekdosis.newcmdtotag(cmd, tag, attr) | |||
| 757 | end | 757 | end |
| 758 | 758 | ||
| 759 | local function lem_rdg_totei(str) | 759 | local function lem_rdg_totei(str) |
| 760 | str = gsub(str, dblbkslash * lemrdg * spcenc^-1 * bsqbrackets * bcbraces, | 760 | str = gsub(str, dblbkslash * lemrdg * spcenc^-1 * bsqbrackets * bcbraces * spcenc^-1, |
| 761 | function(bkslash, cmd, opt, arg) | 761 | function(bkslash, cmd, opt, arg) |
| 762 | opt = string.sub(opt, 2, -2) | 762 | opt = string.sub(opt, 2, -2) |
| 763 | arg = string.sub(arg, 2, -2) | 763 | arg = string.sub(arg, 2, -2) |