diff options
| author | David Aspinall | 1998-09-16 15:55:32 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-16 15:55:32 +0000 |
| commit | bd63a1a2698e0359b2ed69710f5c12a9f3551e2a (patch) | |
| tree | 57e8f909e33d9adbb0ce526c0c7c0b6ff0272c2f /generic/proof.el | |
| parent | 6f26c71f9f5ba7ccf0c5ea7de2930cb3835e8c05 (diff) | |
Moved proof-info-dir into proof-site and defcustom'd it.
Set the Info directory list there rather than after
proof.el has loaded. Add the proof-info-dir onto the
end of Info-default-directory-list, not the start.
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/generic/proof.el b/generic/proof.el index 4b295248..309f9b6a 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -70,9 +70,6 @@ output format.") ;; Proof mode variables ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(defconst proof-info-dir "/usr/local/share/info" - "Directory to search for Info documents on Script Management.") - (defconst proof-universal-keys (list (cons '[(control c) (control c)] 'proof-interrupt-process) (cons '[(control c) (control v)] @@ -1922,11 +1919,6 @@ current command." (push (cons major-mode 'fume-match-find-next-function-name) fume-find-function-name-method-alist)) - ;; Info - (or (memq proof-info-dir Info-default-directory-list) - (setq Info-default-directory-list - (cons proof-info-dir Info-default-directory-list))) - ;; keymaps and menus (easy-menu-add proof-mode-menu proof-mode-map) |