From 7bed63a03edc1bb5adf80d1d3ecc5e3828fbb64f Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Fri, 30 Jan 2015 16:10:21 -0500 Subject: [PATCH] doc(emacs/README.md): fix typos [skip ci] --- src/emacs/README.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/emacs/README.md b/src/emacs/README.md index dad5bcee43..218945eddf 100644 --- a/src/emacs/README.md +++ b/src/emacs/README.md @@ -43,9 +43,8 @@ Put the following elisp code on your emacs setup ```elisp (require 'package) -(add-to-list 'package-archives - '("gnu" . "http://elpa.gnu.org/packages/") - '("melpa" . "http://melpa.milkbox.net/packages/") t) +(add-to-list 'package-archives '("gnu" . "http://elpa.gnu.org/packages/") t) +(add-to-list 'package-archives '("melpa" . "http://melpa.milkbox.net/packages/") t) (package-initialize) ;; Install required/optional packages for lean-mode @@ -94,7 +93,7 @@ Case 3: Install lean via homebrew on OS X ```elisp ;; 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") (add-to-list 'load-path (expand-file-name lean-emacs-path)) (require 'lean-mode)