michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

doc(emacs/README.md): fix typos

Browse source 
[skip ci]
This commit is contained in:
Soonho Kong 2015-01-30 16:10:21 -05:00
parent c8cb9aa3d2
commit 7bed63a03e
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/emacs/README.md
View file

@ -43,9 +43,8 @@ Put the following elisp code on your emacs setup
```elisp ```elisp
(require 'package) (require 'package)
(add-to-list 'package-archives (add-to-list 'package-archives '("gnu" . "http://elpa.gnu.org/packages/") t)
'("gnu" . "http://elpa.gnu.org/packages/") (add-to-list 'package-archives '("melpa" . "http://melpa.milkbox.net/packages/") t)
'("melpa" . "http://melpa.milkbox.net/packages/") t)
(package-initialize) (package-initialize)
;; Install required/optional packages for lean-mode ;; Install required/optional packages for lean-mode
@ -94,7 +93,7 @@ Case 3: Install lean via homebrew on OS X
```elisp ```elisp
;; Set up lean-root path ;; Set up lean-root path
(setq lean-rootdir "/usr") (setq lean-rootdir "/usr/local")
(setq-local lean-emacs-path "/usr/local/share/emacs/site-lisp/lean") (setq-local lean-emacs-path "/usr/local/share/emacs/site-lisp/lean")
(add-to-list 'load-path (expand-file-name lean-emacs-path)) (add-to-list 'load-path (expand-file-name lean-emacs-path))
(require 'lean-mode) (require 'lean-mode)