diff options
-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=""}, |