diff options
author | Robert Alessi <alessi@robertalessi.net> | 2021-04-16 08:33:02 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2021-04-16 08:33:02 +0200 |
commit | a150a011bb28e5728aa95534403bb43d026a6a41 (patch) | |
tree | b8610310b70a5d09fb19aca0ac2533146fc718a2 /ekdosis.el | |
parent | 29db848e5028b0bae1171dd54f0adc4e05adf7e0 (diff) | |
download | ekdosis-a150a011bb28e5728aa95534403bb43d026a6a41.tar.gz |
improved \TeXtoTEIPat
Diffstat (limited to 'ekdosis.el')
-rw-r--r-- | ekdosis.el | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -56,6 +56,8 @@ | |||
56 | 56 | ||
57 | (defvar LaTeX-ekdosis-lem-options | 57 | (defvar LaTeX-ekdosis-lem-options |
58 | '(("wit") | 58 | '(("wit") |
59 | ("source") | ||
60 | ("resp") | ||
59 | ("alt") | 61 | ("alt") |
60 | ("pre") | 62 | ("pre") |
61 | ("post") | 63 | ("post") |
@@ -68,6 +70,8 @@ | |||
68 | 70 | ||
69 | (defvar LaTeX-ekdosis-rdg-options | 71 | (defvar LaTeX-ekdosis-rdg-options |
70 | '(("wit") | 72 | '(("wit") |
73 | ("source") | ||
74 | ("resp") | ||
71 | ("alt") | 75 | ("alt") |
72 | ("pre") | 76 | ("pre") |
73 | ("post") | 77 | ("post") |