diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-04-25 20:48:31 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-25 20:48:31 +0200 |
| commit | 37388e14beef9f4426f59235fa9d4dcef0056f98 (patch) | |
| tree | bf0dfb681a4afd192a82be4b00585facaf0500d5 | |
| parent | 36440126b20a87e93336425ee3fbe2efc51dc300 (diff) | |
| download | ekdosis-37388e14beef9f4426f59235fa9d4dcef0056f98.tar.gz | |
a missing comma
| -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 | ||