From c2c8bcab4514d0345df70b868996ae7f3fdab3a6 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Sat, 6 Apr 2019 11:25:52 +0200
Subject: remove spaces between tags inside <app></app> 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

