From c2c8bcab4514d0345df70b868996ae7f3fdab3a6 Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Sat, 6 Apr 2019 11:25:52 +0200 Subject: remove spaces between tags inside as well --- ekdosis.dtx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ekdosis.dtx') 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) end local function lem_rdg_totei(str) - str = gsub(str, dblbkslash * lemrdg * spcenc^-1 * bsqbrackets * bcbraces, + str = gsub(str, dblbkslash * lemrdg * spcenc^-1 * bsqbrackets * bcbraces * spcenc^-1, function(bkslash, cmd, opt, arg) opt = string.sub(opt, 2, -2) arg = string.sub(arg, 2, -2) -- cgit v1.2.3