aboutsummaryrefslogtreecommitdiff
path: root/ekdosis.dtx
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2019-06-27 14:21:23 +0200
committerRobert Alessi <alessi@robertalessi.net>2019-06-27 14:21:23 +0200
commit16d68b3f5cfe684c8a2e96219e68b603297da23e (patch)
tree09cd719802a7d91b52cdc23cbc05a12c911e78a0 /ekdosis.dtx
parentdf69c0fa5535e95e5061ae38aa51a9a89c605486 (diff)
downloadekdosis-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.dtx5
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
874local cmdtotags = { 874local 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
888local envtotags = { 891local 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",