From 96f620adf6fc281b367cbefaebf8ac8b73e99151 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Fri, 31 Oct 2014 09:58:15 -0700 Subject: [PATCH] doc(README.md): add Aquamacs case, ask to update lean-rootdir [skip ci] --- src/emacs/README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/emacs/README.md b/src/emacs/README.md index 0155fe13d..dfe8815d3 100644 --- a/src/emacs/README.md +++ b/src/emacs/README.md @@ -39,7 +39,8 @@ to use full features of ``lean-mode``. 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 (require 'package) @@ -60,7 +61,7 @@ Put the following elisp code on your emacs setup (e.g. ``.emacs.d/init.el``): (package-install p)))) ;; 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 (concat (file-name-as-directory lean-rootdir) (file-name-as-directory "src")