diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-08-28 12:15:15 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-08-28 12:15:15 +0200 |
| commit | 48adb3422af6b1c51c948c5627b8e49da85f60c0 (patch) | |
| tree | a21397f3881687b7ca83fafabae750cd93c87dfc | |
| parent | 765ec0a8338c49c26609bb52cc62ded3a5b6c8dc (diff) | |
| download | arabluatex-48adb3422af6b1c51c948c5627b8e49da85f60c0.tar.gz | |
wrong arabluatex.el file. fixed
| -rw-r--r-- | arabluatex.el | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/arabluatex.el b/arabluatex.el index 4fc17b8..1acf59b 100644 --- a/arabluatex.el +++ b/arabluatex.el | |||
| @@ -22,7 +22,7 @@ | |||
| 22 | ;; <http://www.gnu.org/licenses/>. | 22 | ;; <http://www.gnu.org/licenses/>. |
| 23 | 23 | ||
| 24 | (defvar LaTeX-arabluatex-package-options | 24 | (defvar LaTeX-arabluatex-package-options |
| 25 | '("voc" "fullvoc" "novoc" "trans") | 25 | '("voc" "fullvoc" "novoc" "trans" "export") |
| 26 | "Package options for the arabluatex package.") | 26 | "Package options for the arabluatex package.") |
| 27 | 27 | ||
| 28 | (defvar LaTeX-arabluatex-mode-options | 28 | (defvar LaTeX-arabluatex-mode-options |
| @@ -31,9 +31,8 @@ | |||
| 31 | ("fullvoc") | 31 | ("fullvoc") |
| 32 | ("novoc") | 32 | ("novoc") |
| 33 | ("trans") | 33 | ("trans") |
| 34 | ("export") | ||
| 35 | ) | 34 | ) |
| 36 | "Global or local options.") | 35 | "Local options.") |
| 37 | 36 | ||
| 38 | (defvar LaTeX-arabluatex-key-val-options | 37 | (defvar LaTeX-arabluatex-key-val-options |
| 39 | '(;; | 38 | '(;; |