diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2023-08-08 18:18:21 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2023-08-08 18:18:21 +0200 |
| commit | 2b205520570452cc4b170702ec7fde4133dd1e98 (patch) | |
| tree | caed8ae65b03a7565c14ad592f825b10cc4b9943 | |
| parent | bdb86207b1923f1bfa88f6205ff26f04497abc8d (diff) | |
| download | ekdosis-2b205520570452cc4b170702ec7fde4133dd1e98.tar.gz | |
tei output: discard maxlines-related commands
| -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>"}, |