aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ekdosis.dtx8
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)
11843 while string.find(str, texpatttotags[i].a) 11843 while string.find(str, texpatttotags[i].a)
11844 do 11844 do
11845 str = string.gsub(str, texpatttotags[i].a, texpatttotags[i].b) 11845 str = string.gsub(str, texpatttotags[i].a, texpatttotags[i].b)
11846 str = string.gsub(str, "ekd@ob%{", "")
11847 str = string.gsub(str, "%}ekd@cb", "")
11848 str = string.gsub(str, "ekd@os%[", "")
11849 str = string.gsub(str, "%]ekd@cs", "")
11850 end 11846 end
11851 end 11847 end
11848 str = string.gsub(str, "ekd@ob%{", "")
11849 str = string.gsub(str, "%}ekd@cb", "")
11850 str = string.gsub(str, "ekd@os%[", "")
11851 str = string.gsub(str, "%]ekd@cs", "")
11852 return str 11852 return str
11853end 11853end
11854 11854