From d98f04fd3aad3658c2d3649ffbf97c40732be992 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Fri, 30 Jan 2015 03:08:11 -0500 Subject: [PATCH] chore(emacs/README.md): add numbering on configuration [skip ci] --- src/emacs/README.md | 17 ++++++++--------- 1 file changed, 8 insertions(+), 9 deletions(-) diff --git a/src/emacs/README.md b/src/emacs/README.md index f0970ba97..dad5bcee4 100644 --- a/src/emacs/README.md +++ b/src/emacs/README.md @@ -63,8 +63,8 @@ Put the following elisp code on your emacs setup Please choose your installation method from the following scenarios, and add the elisp code to your emacs setup: -Build lean from source ----------------------- +Case 1: Build lean from source +----------------------------- ```elisp ;; Set up lean-root path @@ -77,8 +77,8 @@ Build lean from source (require 'lean-mode) ``` -Install lean via apt-get on Ubuntu ----------------------------------- +Case 2: Install lean via apt-get on Ubuntu +------------------------------------------- ```elisp ;; Set up lean-root path @@ -89,8 +89,8 @@ Install lean via apt-get on Ubuntu ``` -Install lean via homebrew on OS X ----------------------------------- +Case 3: Install lean via homebrew on OS X +----------------------------------------- ```elisp ;; Set up lean-root path @@ -105,9 +105,8 @@ location, please run `brew info lean` and it will tell you where lean-mode files are located. With that information, update `lean-emacs-path` variable accordingly. - -Install lean in Windows ----------------------------------- +Case 4: Install lean in Windows +------------------------------- ``` ;; Set up lean-root path (setq lean-rootdir "\\lean-0.2.0-windows")