From d4362822585c1dc7c66b13c8d4c339a2322526d0 Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Tue, 2 Apr 2019 13:30:28 +0200 Subject: ekdosis.textotei(): discard the argument of 'declared' commands --- ekdosis.dtx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'ekdosis.dtx') 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) return string.format("\"%s\"", braces) end) body = ekdosis.textotei(body) - return string.format("<"..cmdtotags[i].b..cmdtotags[i].c.." %s>%s", arg, body) + -- return string.format("<"..cmdtotags[i].b..cmdtotags[i].c.." %s>%s", arg, body) + return string.format("<"..cmdtotags[i].b..cmdtotags[i].c..">%s", body) end) end str = string.gsub(str, "\\(%a+)%s?%*?(%b[])(%b{})", -- cgit v1.2.3