diff options
| -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{})", |