diff options
-rw-r--r-- | ekdosis.dtx | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index d92dcd5..ce49ed7 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
@@ -1288,7 +1288,10 @@ local cmdtotags = { | |||
1288 | c=" xml:lang=\"arb-Latn\" type=\"transliterated\" subtype=\"arabtex\""} | 1288 | c=" xml:lang=\"arb-Latn\" type=\"transliterated\" subtype=\"arabtex\""} |
1289 | } | 1289 | } |
1290 | 1290 | ||
1291 | local texpatttotags = {} | 1291 | local texpatttotags = { |
1292 | {a="\\icite%s?%[(.-)%]{(.-)}", b="<ref target=\"#%2\">%1</ref>"}, | ||
1293 | {a="\\icite%s?{(.-)}", b="<ptr target=\"#%1\"/>"} | ||
1294 | } | ||
1292 | 1295 | ||
1293 | local envtotags = { | 1296 | local envtotags = { |
1294 | {a="ekdverse", b="lg", c=""}, | 1297 | {a="ekdverse", b="lg", c=""}, |