diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-04-04 18:00:48 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-04 18:00:48 +0200 |
| commit | 376583efb5d484c509d0f6e2c942032f461b8a98 (patch) | |
| tree | e1d7315eae2764817ee2b43b9f7512113bf09f66 /ekdosis.dtx | |
| parent | b9f6093c92fe7326c5438e97bef939c0cf05541d (diff) | |
| download | ekdosis-376583efb5d484c509d0f6e2c942032f461b8a98.tar.gz | |
have starred TeX commands processed by textotei() as unstarred equivalents
Diffstat (limited to 'ekdosis.dtx')
| -rw-r--r-- | ekdosis.dtx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 9e82bb5..cecdbbc 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
| @@ -762,8 +762,8 @@ function ekdosis.textotei(str) | |||
| 762 | str = lem_rdg_totei(str) | 762 | str = lem_rdg_totei(str) |
| 763 | for i = 1,#cmdtotags | 763 | for i = 1,#cmdtotags |
| 764 | do | 764 | do |
| 765 | str = string.gsub(str, "(\\"..cmdtotags[i].a..")%s?(%b{})", "%1[]%2") | 765 | str = string.gsub(str, "(\\"..cmdtotags[i].a..")%s?%*?(%b{})", "%1[]%2") |
| 766 | str = string.gsub(str, "(\\"..cmdtotags[i].a..")%s?(%b[])(%b{})", | 766 | str = string.gsub(str, "(\\"..cmdtotags[i].a..")%s?%*?(%b[])(%b{})", |
| 767 | function(cmd, arg, body) | 767 | function(cmd, arg, body) |
| 768 | body = string.sub(body, 2, -2) | 768 | body = string.sub(body, 2, -2) |
| 769 | arg = string.sub(arg, 2, -2) | 769 | arg = string.sub(arg, 2, -2) |