diff options
-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) |