aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2019-04-06 11:25:52 +0200
committerRobert Alessi <alessi@robertalessi.net>2019-04-06 11:25:52 +0200
commitc2c8bcab4514d0345df70b868996ae7f3fdab3a6 (patch)
tree0d1c66eb94f02f7f9c1a16b59e6f7a9c6a357074
parenta94aa3ae8e6ccb82abc67e1bda7fed168c86de92 (diff)
downloadekdosis-c2c8bcab4514d0345df70b868996ae7f3fdab3a6.tar.gz
remove spaces between tags inside <app></app> as well
-rw-r--r--ekdosis.dtx2
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)
757end 757end
758 758
759local function lem_rdg_totei(str) 759local 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)