diff options
author | Robert Alessi <alessi@robertalessi.net> | 2023-08-09 11:59:32 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2023-08-09 11:59:32 +0200 |
commit | 475db646ebbe51bd76458cf0907d3ef90827a17e (patch) | |
tree | 027c9e08a2e7fcfe08e5400b5fc60e36d2f08c5d | |
parent | 2b205520570452cc4b170702ec7fde4133dd1e98 (diff) | |
download | ekdosis-475db646ebbe51bd76458cf0907d3ef90827a17e.tar.gz |
TEI ouput: transcribe \parnote into <note>
-rw-r--r-- | ekdosis.dtx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 2eba4f4..2137a97 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
@@ -12036,6 +12036,8 @@ local texpatttotags = { | |||
12036 | {a="\\teidirect%s+{(.-)}(%b{})", b="<%1>ekd@ob%2ekd@cb</%1>"}, | 12036 | {a="\\teidirect%s+{(.-)}(%b{})", b="<%1>ekd@ob%2ekd@cb</%1>"}, |
12037 | {a="\\altrfont%s+", b=""}, | 12037 | {a="\\altrfont%s+", b=""}, |
12038 | {a="\\endmark%s+", b=""}, | 12038 | {a="\\endmark%s+", b=""}, |
12039 | {a="\\parnote%s+(%b[])(%b{})", b="<note>ekd@ob%2ekd@cb</note>"}, | ||
12040 | {a="\\parnote%s+(%b{})", b="<note>ekd@ob%1ekd@cb</note>"}, | ||
12039 | {a="\\ilabel%s+(%b{})", b=""}, | 12041 | {a="\\ilabel%s+(%b{})", b=""}, |
12040 | {a="\\unskip%s+", b=""}, | 12042 | {a="\\unskip%s+", b=""}, |
12041 | {a="\\ekdpb%s+%*?%[(.-)%]{(.-)}", b=""}, | 12043 | {a="\\ekdpb%s+%*?%[(.-)%]{(.-)}", b=""}, |