From 8ae25bd88aa372e55836bfdf8a06b2d2195a4268 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Tue, 30 Aug 2022 07:15:54 +0200
Subject: texpatttotei(): do ekd@[oc][bs] replacements once

---
 ekdosis.dtx | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'ekdosis.dtx')

diff --git a/ekdosis.dtx b/ekdosis.dtx
index d2bb237..a7a5b49 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -11843,12 +11843,12 @@ local function texpatttotei(str)
       while string.find(str, texpatttotags[i].a)
       do
 	 str = string.gsub(str, texpatttotags[i].a, texpatttotags[i].b)
-	 str = string.gsub(str, "ekd@ob%{", "")
-	 str = string.gsub(str, "%}ekd@cb", "")
-	 str = string.gsub(str, "ekd@os%[", "")
-	 str = string.gsub(str, "%]ekd@cs", "")
       end
    end
+   str = string.gsub(str, "ekd@ob%{", "")
+   str = string.gsub(str, "%}ekd@cb", "")
+   str = string.gsub(str, "ekd@os%[", "")
+   str = string.gsub(str, "%]ekd@cs", "")
    return str
 end
 
-- 
cgit v1.2.3

