diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-04-07 17:07:13 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-07 17:07:13 +0200 |
| commit | 1845085452b6fbb8f6a800e035fcd400b93ae445 (patch) | |
| tree | 7ae19529b5941088b12f66e0b72448f3cc6f1d55 | |
| parent | bf749d85c729d19a8e36b585baa0f9d327f0a0da (diff) | |
| download | ekdosis-1845085452b6fbb8f6a800e035fcd400b93ae445.tar.gz | |
[de053f9] added 'or ' in case there is no match
| -rw-r--r-- | ekdosis.dtx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 9bda050..7001eac 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
| @@ -770,7 +770,7 @@ local function lem_rdg_totei(str) | |||
| 770 | function(bkslash, cmd, opt, arg) | 770 | function(bkslash, cmd, opt, arg) |
| 771 | opt = string.sub(opt, 2, -2) | 771 | opt = string.sub(opt, 2, -2) |
| 772 | arg = string.sub(arg, 2, -2) | 772 | arg = string.sub(arg, 2, -2) |
| 773 | opt = string.match(opt, "%f[%w]wit%s?%=%s?%b{}") | 773 | opt = string.match(opt, "%f[%w]wit%s?%=%s?%b{}") or "" |
| 774 | opt = string.gsub(opt, "wit%s?%=%s?(%b{})", function(bbraces) | 774 | opt = string.gsub(opt, "wit%s?%=%s?(%b{})", function(bbraces) |
| 775 | bbraces = string.sub(bbraces, 2, -2) | 775 | bbraces = string.sub(bbraces, 2, -2) |
| 776 | bbraces = ekdosis.getsiglum(bbraces, "tei") | 776 | bbraces = ekdosis.getsiglum(bbraces, "tei") |