aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2019-04-02 13:30:28 +0200
committerRobert Alessi <alessi@robertalessi.net>2019-04-02 13:30:28 +0200
commitd4362822585c1dc7c66b13c8d4c339a2322526d0 (patch)
treea1bd8529632b9b744db52609d31a0332f32e5d70
parentde053f9410803d0830e586b4cec7e4ffe438d603 (diff)
downloadekdosis-d4362822585c1dc7c66b13c8d4c339a2322526d0.tar.gz
ekdosis.textotei(): discard the argument of 'declared' commands
-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{})",