aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ekdosis.dtx2
1 files changed, 1 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx
index 6ad89ae..93679ea 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -855,7 +855,7 @@ local cmdtotags = {
855} 855}
856 856
857local envtotags = { 857local envtotags = {
858 {a="center", b="p", c=" rend=\"centered\""} 858 {a="center", b="p", c=" rend=\"centered\""},
859 {a="arab", b="p", c=" xml:lang=\"arb-Latn\" type=\"transliterated\" subtype=\"arabtex\""} 859 {a="arab", b="p", c=" xml:lang=\"arb-Latn\" type=\"transliterated\" subtype=\"arabtex\""}
860} 860}
861 861