From 05cf034cc3b520103b519c800d51a8d9c561f8dc Mon Sep 17 00:00:00 2001
From: Mauro Bieg <mb21@users.noreply.github.com>
Date: Thu, 16 Feb 2017 13:56:42 +0100
Subject: [PATCH] INSTALL.md put rpm-based distros on separate point (#3449)

---
 INSTALL.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/INSTALL.md b/INSTALL.md
index 192ae841d..4f833b471 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -62,7 +62,9 @@
 
     where `$DEB` is the path to the downloaded deb, will
     install the `pandoc` and `pandoc-citeproc` executables
-    and man pages.  If you use an RPM-based distro, you may be
+    and man pages.
+
+  - If you use an RPM-based distro, you may be
     able to install this deb using `alien`, or try
 
         ar p $DEB data.tar.gz | sudo tar xvz --strip-components 2 -C /usr/local