From c735861efbf1c9d589b04b787f74a7df2237876f Mon Sep 17 00:00:00 2001
From: Christoph Groth <christoph.groth@cea.fr>
Date: Sun, 8 Sep 2013 13:13:26 +0200
Subject: [PATCH] INSTALL: small fixes

---
 INSTALL | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/INSTALL b/INSTALL
index 225ab36..1c18bd9 100644
--- a/INSTALL
+++ b/INSTALL
@@ -2,8 +2,9 @@
 Installation instructions
 =========================
 
-Kwant can be installed either using some prepared packages (on GNU/Linux, Mac OS
-X, and Windows), or it can be built and installed from source.
+Kwant can be installed either using prepared packages (Debian and Ubuntu
+variants of GNU/Linux, Mac OS X, and Windows), or it can be built and installed
+from source.
 
 In general, installation from packages is advisable, especially for novice
 users.  Expert users may find it helpful to build Kwant from source, as this
@@ -29,8 +30,8 @@ documentation will be installed locally in the directory
 ``/usr/share/doc/python-kwant-doc``.
 
 
-Debian GNU/Linux (and derivatives)
-==================================
+Debian (and derivatives)
+========================
 
 The easiest way to install Kwant on a Debian system is using the pre-built
 packages we provide.  Our packages are known to work with Debian "wheezy" and
-- 
GitLab