doc(README.md): add Aquamacs case, ask to update lean-rootdir
[skip ci]
This commit is contained in:
parent
57b19b787b
commit
96f620adf6
1 changed files with 3 additions and 2 deletions
|
@ -39,7 +39,8 @@ to use full features of ``lean-mode``.
|
||||||
Install
|
Install
|
||||||
=======
|
=======
|
||||||
|
|
||||||
Put the following elisp code on your emacs setup (e.g. ``.emacs.d/init.el``):
|
Put the following elisp code on your emacs setup
|
||||||
|
(e.g. ``.emacs.d/init.el`` [GNU Emacs], ``~/Library/Preferences/Aquamacs Emacs/Preferences.el`` [Aquamacs]) :
|
||||||
|
|
||||||
```elisp
|
```elisp
|
||||||
(require 'package)
|
(require 'package)
|
||||||
|
@ -60,7 +61,7 @@ Put the following elisp code on your emacs setup (e.g. ``.emacs.d/init.el``):
|
||||||
(package-install p))))
|
(package-install p))))
|
||||||
|
|
||||||
;; Set up lean-root path
|
;; Set up lean-root path
|
||||||
(setq lean-rootdir "~/projects/lean")
|
(setq lean-rootdir "~/projects/lean") ;; <=== YOU NEED TO MODIFY THIS
|
||||||
(setq-local lean-emacs-path
|
(setq-local lean-emacs-path
|
||||||
(concat (file-name-as-directory lean-rootdir)
|
(concat (file-name-as-directory lean-rootdir)
|
||||||
(file-name-as-directory "src")
|
(file-name-as-directory "src")
|
||||||
|
|
Loading…
Reference in a new issue