From c1b23f29c9a14b5df7f448c417a4b5bc7e78d676 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Thu, 23 Apr 2015 15:05:08 -0400
Subject: [PATCH] doc(emacs/README.md): add debian case

[skip ci]
---
 src/emacs/README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/emacs/README.md b/src/emacs/README.md
index 96268fbf1..b1ad677a2 100644
--- a/src/emacs/README.md
+++ b/src/emacs/README.md
@@ -80,8 +80,8 @@ Case 1: Build Lean from source
 (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
 ;; Set up lean-root path