|
|
;; Some variables that may have to be set in order to use the maxima help: | ;; Some variables that may have to be set in order to use the maxima help: |
;; maxima-info-dir | ;; maxima-info-dir |
;; This should be the directory where the maxima info files are kept. | ;; This should be the directory where the maxima info files are kept. |
;; By default, it is "/usr/local/info/" |
;; By default, it is "/usr/share/info/" |
;; maxima-info-index-file | ;; maxima-info-index-file |
;; This should be the name of the maxima info file that contains | ;; This should be the name of the maxima info file that contains |
;; the index, by default, it is "maxima.info-15" | ;; the index, by default, it is "maxima.info-15" |
|
|
(defvar maxima-newline-style nil | (defvar maxima-newline-style nil |
"For compatability.") | "For compatability.") |
| |
(defcustom maxima-info-dir "/usr/local/info/" |
(defcustom maxima-info-dir "/usr/share/info/" |
"*The directory where the maxima info files are kept." | "*The directory where the maxima info files are kept." |
:group 'maxima | :group 'maxima |
:type '(directory)) | :type '(directory)) |