aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2023-08-09 11:59:32 +0200
committerRobert Alessi <alessi@robertalessi.net>2023-08-09 11:59:32 +0200
commit475db646ebbe51bd76458cf0907d3ef90827a17e (patch)
tree027c9e08a2e7fcfe08e5400b5fc60e36d2f08c5d
parent2b205520570452cc4b170702ec7fde4133dd1e98 (diff)
downloadekdosis-475db646ebbe51bd76458cf0907d3ef90827a17e.tar.gz
TEI ouput: transcribe \parnote into <note>
-rw-r--r--ekdosis.dtx2
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=""},