diff options
author | Robert Alessi <alessi@robertalessi.net> | 2020-04-19 10:32:11 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2020-04-19 10:32:11 +0200 |
commit | 328354cc2b0cd1aa15e64e67dd8d6ce3feb73bf4 (patch) | |
tree | a05bf0839f3d5e014e34ea5fb792a56844e0c135 | |
parent | 8e8c50f0fb7fe0a07b273469492accfe68b112d5 (diff) | |
download | ekdosis-328354cc2b0cd1aa15e64e67dd8d6ce3feb73bf4.tar.gz |
added relocate_notes()
-rw-r--r-- | ekdosis.dtx | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index f69d083..8fd0a15 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
@@ -1588,7 +1588,12 @@ local function lem_rdg_totei(str) | |||
1588 | arg = string.sub(arg, 2, -2) | 1588 | arg = string.sub(arg, 2, -2) |
1589 | return lem_rdg_totei(string.format("<%s>%s</%s>", cmd, arg, cmd)) | 1589 | return lem_rdg_totei(string.format("<%s>%s</%s>", cmd, arg, cmd)) |
1590 | end) | 1590 | end) |
1591 | str = string.gsub(str, "(%<lem.-%>.-)(%<note.-%<%/note%>)(.-%<%/lem%>)", "%1%3%2") | 1591 | -- str = string.gsub(str, "(%<lem.-%>.-)(%<note.-%<%/note%>)(.-%<%/lem%>)", "%1%3%2") |
1592 | return str | ||
1593 | end | ||
1594 | |||
1595 | local function relocate_notes(str) | ||
1596 | str = string.gsub(str, "(%<lem.-%>.-)(%<note.->.-%<%/note%>)(.-%<%/lem%>)", "%1%3%2") | ||
1592 | return str | 1597 | return str |
1593 | end | 1598 | end |
1594 | 1599 | ||
@@ -1765,6 +1770,7 @@ local function textotei(str) | |||
1765 | str = note_totei(str) | 1770 | str = note_totei(str) |
1766 | str = app_totei(str) | 1771 | str = app_totei(str) |
1767 | str = lem_rdg_totei(str) | 1772 | str = lem_rdg_totei(str) |
1773 | str = relocate_notes(str) | ||
1768 | str = versetotei(str) | 1774 | str = versetotei(str) |
1769 | str = envtotei(str) | 1775 | str = envtotei(str) |
1770 | str = cmdtotei(str) | 1776 | str = cmdtotei(str) |