diff options
author | Robert Alessi <alessi@robertalessi.net> | 2019-06-27 14:21:23 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2019-06-27 14:21:23 +0200 |
commit | 16d68b3f5cfe684c8a2e96219e68b603297da23e (patch) | |
tree | 09cd719802a7d91b52cdc23cbc05a12c911e78a0 /ekdosis.dtx | |
parent | df69c0fa5535e95e5061ae38aa51a9a89c605486 (diff) | |
download | ekdosis-16d68b3f5cfe684c8a2e96219e68b603297da23e.tar.gz |
a few commands and environments used by arabluatex that must be processed by ekdosis
Diffstat (limited to 'ekdosis.dtx')
-rw-r--r-- | ekdosis.dtx | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 243264d..cd68b2e 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
@@ -874,7 +874,10 @@ end | |||
874 | local cmdtotags = { | 874 | local cmdtotags = { |
875 | {a="textsuperscript", b="hi", c=" rend=\"sup\""}, | 875 | {a="textsuperscript", b="hi", c=" rend=\"sup\""}, |
876 | {a="textsubscript", b="hi", c=" rend=\"sub\""}, | 876 | {a="textsubscript", b="hi", c=" rend=\"sub\""}, |
877 | {a="LRfootnote", b="note", c=" place=\"bottom\""}, | ||
878 | {a="RLfootnote", b="note", c=" place=\"bottom\""}, | ||
877 | {a="footnote", b="note", c=" place=\"bottom\""}, | 879 | {a="footnote", b="note", c=" place=\"bottom\""}, |
880 | {a="txtrans", b="s", c=" xml:lang=\"arb-Latn\" type=\"transliterated\""}, | ||
878 | {a="textbf", b="hi", c=" rend=\"bold\""}, | 881 | {a="textbf", b="hi", c=" rend=\"bold\""}, |
879 | {a="textit", b="hi", c=" rend=\"italic\""}, | 882 | {a="textit", b="hi", c=" rend=\"italic\""}, |
880 | {a="textsc", b="hi", c=" rend=\"smallcaps\""}, | 883 | {a="textsc", b="hi", c=" rend=\"smallcaps\""}, |
@@ -886,6 +889,8 @@ local cmdtotags = { | |||
886 | } | 889 | } |
887 | 890 | ||
888 | local envtotags = { | 891 | local envtotags = { |
892 | {a="txarabtr", b="p", c=" xml:lang=\"arb-Latn\" type=\"transliterated\""}, | ||
893 | {a="txarab", b="p", c=" xml:lang=\"arb\""}, | ||
889 | {a="center", b="p", c=" rend=\"centered\""}, | 894 | {a="center", b="p", c=" rend=\"centered\""}, |
890 | {a="verse", b="lg", c=""}, | 895 | {a="verse", b="lg", c=""}, |
891 | {a="arab", b="p", | 896 | {a="arab", b="p", |