aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ekdosis.dtx4
1 files changed, 4 insertions, 0 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx
index d701f5d..2eba4f4 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -12016,7 +12016,11 @@ local texpatttotags = {
12016 {a="\\resetlinenumber%s+", b=""}, 12016 {a="\\resetlinenumber%s+", b=""},
12017 {a="\\ekdresethfmarks%s+", b=""}, 12017 {a="\\ekdresethfmarks%s+", b=""},
12018 {a="\\indentpattern%s+{(.-)}", b=""}, 12018 {a="\\indentpattern%s+{(.-)}", b=""},
12019 {a="\\localmaxlines%s+{(.-)}", b=""},
12020 {a="\\addtomaxlines%s+{(.-)}", b=""},
12019 {a="\\ekdnohfmarks%s+", b=""}, 12021 {a="\\ekdnohfmarks%s+", b=""},
12022 {a="\\setmaxlines%s+{(.-)}", b=""},
12023 {a="\\nomaxlines%s+", b=""},
12020 {a="\\marginnote%s+(%b[])(%b{})(%b[])", b="<note place=\"margin\">ekd@ob%2ekd@cb</note>"}, 12024 {a="\\marginnote%s+(%b[])(%b{})(%b[])", b="<note place=\"margin\">ekd@ob%2ekd@cb</note>"},
12021 {a="\\marginnote%s+(%b{})(%b[])", b="<note place=\"margin\">ekd@ob%1ekd@cb</note>"}, 12025 {a="\\marginnote%s+(%b{})(%b[])", b="<note place=\"margin\">ekd@ob%1ekd@cb</note>"},
12022 {a="\\marginnote%s+(%b[])(%b{})", b="<note place=\"margin\">ekd@ob%2ekd@cb</note>"}, 12026 {a="\\marginnote%s+(%b[])(%b{})", b="<note place=\"margin\">ekd@ob%2ekd@cb</note>"},