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) |