diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-04-02 13:05:56 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-02 13:05:56 +0200 |
| commit | de053f9410803d0830e586b4cec7e4ffe438d603 (patch) | |
| tree | 47cb51020b1f02ac68c828789ff7e577d3aaf617 | |
| parent | 43d3895c823a7ab11dd58160307c4edca1084c99 (diff) | |
| download | ekdosis-de053f9410803d0830e586b4cec7e4ffe438d603.tar.gz | |
lem_rdg_totei() needed string.match
| -rw-r--r-- | ekdosis.dtx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 3e30e1e..de2e842 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
| @@ -734,6 +734,7 @@ local function lem_rdg_totei(str) | |||
| 734 | function(bkslash, cmd, opt, arg) | 734 | function(bkslash, cmd, opt, arg) |
| 735 | opt = string.sub(opt, 2, -2) | 735 | opt = string.sub(opt, 2, -2) |
| 736 | arg = string.sub(arg, 2, -2) | 736 | arg = string.sub(arg, 2, -2) |
| 737 | opt = string.match(opt, "%f[%w]wit%s?%=%s?%b{}") | ||
| 737 | opt = string.gsub(opt, "wit%s?%=%s?(%b{})", function(bbraces) | 738 | opt = string.gsub(opt, "wit%s?%=%s?(%b{})", function(bbraces) |
| 738 | bbraces = string.sub(bbraces, 2, -2) | 739 | bbraces = string.sub(bbraces, 2, -2) |
| 739 | bbraces = ekdosis.getsiglum(bbraces, "tei") | 740 | bbraces = ekdosis.getsiglum(bbraces, "tei") |