texpatttotei(): do ekd@[oc][bs] replacements once

1 files changed, 4 insertions, 4 deletions

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