diff options
author | Robert Alessi <alessi@robertalessi.net> | 2019-04-10 09:24:01 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-10 09:24:01 +0200 |
commit | 3fad62e74b9ce5a420189ec854421f3154473dc1 (patch) | |
tree | c7e16c74753c809123ed2a3ef82f1e2e3668be41 /ekdosis.dtx | |
parent | 9b878ac5e52db79c7945d3b28fa8c4af1666e5fe (diff) | |
download | ekdosis-3fad62e74b9ce5a420189ec854421f3154473dc1.tar.gz |
specified in totei how to handle \arb{}
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) |