blob: 1775d82dcf31a7f3d6d0c44d18bbd3f4b5c4ce0b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
--- maxima.el~ 2004-07-20 19:18:05.000000000 +0200
+++ maxima.el 2004-08-03 18:17:47.559653376 +0200
@@ -50,7 +50,7 @@
;; Some variables that may have to be set in order to use the maxima help:
;; maxima-info-dir
;; 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
;; This should be the name of the maxima info file that contains
;; the index, by default, it is "maxima.info-15"
@@ -213,7 +213,7 @@
(defvar maxima-newline-style nil
"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."
:group 'maxima
:type '(directory))
|
GitWeb
