aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ekdosis.dtx3
1 files changed, 2 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx
index de2e842..1adbc99 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -760,7 +760,8 @@ function ekdosis.textotei(str)
760 return string.format("\"%s\"", braces) 760 return string.format("\"%s\"", braces)
761 end) 761 end)
762 body = ekdosis.textotei(body) 762 body = ekdosis.textotei(body)
763 return string.format("<"..cmdtotags[i].b..cmdtotags[i].c.." %s>%s</"..cmdtotags[i].b..">", arg, body) 763 -- return string.format("<"..cmdtotags[i].b..cmdtotags[i].c.." %s>%s</"..cmdtotags[i].b..">", arg, body)
764 return string.format("<"..cmdtotags[i].b..cmdtotags[i].c..">%s</"..cmdtotags[i].b..">", body)
764 end) 765 end)
765 end 766 end
766 str = string.gsub(str, "\\(%a+)%s?%*?(%b[])(%b{})", 767 str = string.gsub(str, "\\(%a+)%s?%*?(%b[])(%b{})",