aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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=""},