aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ekdosis.dtx5
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
1291local texpatttotags = {} 1291local texpatttotags = {
1292 {a="\\icite%s?%[(.-)%]{(.-)}", b="<ref target=\"#%2\">%1</ref>"},
1293 {a="\\icite%s?{(.-)}", b="<ptr target=\"#%1\"/>"}
1294}
1292 1295
1293local envtotags = { 1296local envtotags = {
1294 {a="ekdverse", b="lg", c=""}, 1297 {a="ekdverse", b="lg", c=""},