diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-04-02 13:30:28 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-02 13:30:28 +0200 |
| commit | d4362822585c1dc7c66b13c8d4c339a2322526d0 (patch) | |
| tree | a1bd8529632b9b744db52609d31a0332f32e5d70 | |
| parent | de053f9410803d0830e586b4cec7e4ffe438d603 (diff) | |
| download | ekdosis-d4362822585c1dc7c66b13c8d4c339a2322526d0.tar.gz | |
ekdosis.textotei(): discard the argument of 'declared' commands
| -rw-r--r-- | ekdosis.dtx | 3 |
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{})", |