diff options
author | Robert Alessi <alessi@robertalessi.net> | 2022-05-02 08:11:40 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2022-05-02 08:11:40 +0200 |
commit | 8b6d5fdd702cf56fff1726738021326f2833ba55 (patch) | |
tree | 03fcc4d85bb923a3120ac09a070a41f4abeabe26 | |
parent | e155520436a5a0e84cf46ef890803ea66f5cb566 (diff) | |
download | ekdosis-8b6d5fdd702cf56fff1726738021326f2833ba55.tar.gz |
\getsiglum: removed unwanted capture in cmdtotei()
-rw-r--r-- | ekdosis.dtx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 23db1aa..f9c3584 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
@@ -11745,8 +11745,8 @@ local function cmdtotei(str) | |||
11745 | -- body = cmdtotei(body) | 11745 | -- body = cmdtotei(body) |
11746 | return string.format("%s", teisiglum) | 11746 | return string.format("%s", teisiglum) |
11747 | end) | 11747 | end) |
11748 | str = string.gsub(str, "\\(getsiglum)%s?(%b[])(%b{})", | 11748 | str = string.gsub(str, "\\(getsiglum)%s?(%b{})", |
11749 | function(cmd, opt, body) | 11749 | function(cmd, body) |
11750 | body = string.sub(body, 2, -2) | 11750 | body = string.sub(body, 2, -2) |
11751 | teisiglum = ekdosis.getsiglum(body, "tei") | 11751 | teisiglum = ekdosis.getsiglum(body, "tei") |
11752 | printsiglum = ekdosis.getsiglum(body) | 11752 | printsiglum = ekdosis.getsiglum(body) |