diff options
Diffstat (limited to 'ekdosis.dtx')
| -rw-r--r-- | ekdosis.dtx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index c5ed011..8868cef 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
| @@ -756,7 +756,7 @@ local cmdtotags = { | |||
| 756 | {a="textsf", b="hi", c=" rend=\"sf\""}, | 756 | {a="textsf", b="hi", c=" rend=\"sf\""}, |
| 757 | {a="arbup", b="hi", c=" rend=\"sup\""}, | 757 | {a="arbup", b="hi", c=" rend=\"sup\""}, |
| 758 | {a="txarb", b="foreign", c=" xml:lang=\"arb\""}, | 758 | {a="txarb", b="foreign", c=" xml:lang=\"arb\""}, |
| 759 | {a="arb", b="foreign", c=" xml:lang=\"arb\""}, | 759 | {a="arb", b="foreign", c=" xml:lang=\"arb-Latn\" type=\"arabtex\""} |
| 760 | } | 760 | } |
| 761 | 761 | ||
| 762 | function ekdosis.newcmdtotag(cmd, tag, attr) | 762 | function ekdosis.newcmdtotag(cmd, tag, attr) |