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