aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ekdosis.dtx23
1 files changed, 23 insertions, 0 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx
index a1c3bb0..fc39141 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -12051,6 +12051,29 @@ local function cmdtotei(str)
12051 body = cmdtotei(body) 12051 body = cmdtotei(body)
12052 return string.format("<%s>%s</%s>", cmd, body, cmd) 12052 return string.format("<%s>%s</%s>", cmd, body, cmd)
12053 end) 12053 end)
12054 str = string.gsub(str, "\\([%{%}])", function(brace)
12055 if brace == "{"
12056 then
12057 brace = "ekd@ob"
12058 else
12059 brace = "ekd@cb"
12060 end
12061 return brace
12062 end)
12063 str = gsub(str, bcbraces, function(inbraces)
12064 inbraces = string.sub(inbraces, 2, -2)
12065 inbraces = cmdtotei(inbraces)
12066 return inbraces
12067 end)
12068 str = string.gsub(str, "ekd@([oc])b", function(oc)
12069 if oc == "o"
12070 then
12071 oc = "{"
12072 else
12073 oc = "}"
12074 end
12075 return oc
12076 end)
12054 str = string.gsub(str, "(%s)(%>)", "%2") 12077 str = string.gsub(str, "(%s)(%>)", "%2")
12055 return str 12078 return str
12056end 12079end