From 8ae25bd88aa372e55836bfdf8a06b2d2195a4268 Mon Sep 17 00:00:00 2001 From: Robert Alessi 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(-) 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