diff options
-rw-r--r-- | ekdosis.dtx | 2 |
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 | ||
857 | local envtotags = { | 857 | local 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 | ||