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

doc(emacs/README.md): add debian case

Browse source 
[skip ci]
This commit is contained in:
Soonho Kong 2015-04-23 15:05:08 -04:00
parent 2613e7c444
commit c1b23f29c9
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/emacs/README.md
View file

@ -80,8 +80,8 @@ Case 1: Build Lean from source
(require 'lean-mode) (require 'lean-mode)
``` ```
Case 2: Install Lean via apt-get on Ubuntu Case 2: Install Lean via apt-get on Ubuntu or via dpkg on Debian
------------------------------------------- ----------------------------------------------------------------
```elisp ```elisp
;; Set up lean-root path ;; Set up lean-root path