aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2019-04-07 17:07:13 +0200
committerRobert Alessi <alessi@robertalessi.net>2019-04-07 17:07:13 +0200
commit1845085452b6fbb8f6a800e035fcd400b93ae445 (patch)
tree7ae19529b5941088b12f66e0b72448f3cc6f1d55
parentbf749d85c729d19a8e36b585baa0f9d327f0a0da (diff)
downloadekdosis-1845085452b6fbb8f6a800e035fcd400b93ae445.tar.gz
[de053f9] added 'or ' in case there is no match
-rw-r--r--ekdosis.dtx2
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")