diff options
author | Robert Alessi <alessi@robertalessi.net> | 2020-04-14 14:42:22 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2020-04-14 14:42:22 +0200 |
commit | dfdc514bd7f583e1d95cc9591240e23630d27583 (patch) | |
tree | 7ed9a4d2bea7c863445dbdc72fa9bcaada55a96f | |
parent | 0f982b9fa47dac69c00641bb0c70931e0c2da2fc (diff) | |
download | arabluatex-dfdc514bd7f583e1d95cc9591240e23630d27583.tar.gz |
arabluatex.el: tidy up
-rw-r--r-- | arabluatex.el | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/arabluatex.el b/arabluatex.el index bc22df9..77fd11f 100644 --- a/arabluatex.el +++ b/arabluatex.el | |||
@@ -55,9 +55,6 @@ | |||
55 | ("export" ("true" "false"))) | 55 | ("export" ("true" "false"))) |
56 | "Key=value options for arabverse environment.") | 56 | "Key=value options for arabverse environment.") |
57 | 57 | ||
58 | ;; (defvar LaTeX-arabluatex-color-options | ||
59 | ;; '(())) | ||
60 | |||
61 | (defvar LaTeX-arabluatex-outfile-options | 58 | (defvar LaTeX-arabluatex-outfile-options |
62 | '(("newline")) | 59 | '(("newline")) |
63 | "List of options for outfile command.") | 60 | "List of options for outfile command.") |
@@ -68,8 +65,7 @@ | |||
68 | "List of options for arbmark command.") | 65 | "List of options for arbmark command.") |
69 | 66 | ||
70 | (defvar LaTeX-arabluatex-arind-options | 67 | (defvar LaTeX-arabluatex-arind-options |
71 | '(;; | 68 | '(("index") |
72 | ("index") | ||
73 | ("root") | 69 | ("root") |
74 | ("form") | 70 | ("form") |
75 | ("pipe")) | 71 | ("pipe")) |