aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2019-04-04 18:00:48 +0200
committerRobert Alessi <alessi@robertalessi.net>2019-04-04 18:00:48 +0200
commit376583efb5d484c509d0f6e2c942032f461b8a98 (patch)
treee1d7315eae2764817ee2b43b9f7512113bf09f66
parentb9f6093c92fe7326c5438e97bef939c0cf05541d (diff)
downloadekdosis-376583efb5d484c509d0f6e2c942032f461b8a98.tar.gz
have starred TeX commands processed by textotei() as unstarred equivalents
-rw-r--r--ekdosis.dtx4
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)