diff options
-rw-r--r-- | ekdosis.dtx | 4 |
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>"}, |