aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2019-04-25 20:48:31 +0200
committerRobert Alessi <alessi@robertalessi.net>2019-04-25 20:48:31 +0200
commit37388e14beef9f4426f59235fa9d4dcef0056f98 (patch)
treebf0dfb681a4afd192a82be4b00585facaf0500d5
parent36440126b20a87e93336425ee3fbe2efc51dc300 (diff)
downloadekdosis-37388e14beef9f4426f59235fa9d4dcef0056f98.tar.gz
a missing comma
-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