From bf1eb72987a47f42255ef2a941f896c380d76177 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 24 Dec 2016 10:13:06 +0000
Subject: [PATCH] Fixed markdown.

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 6acacf4..9d7afcf 100644
--- a/README.md
+++ b/README.md
@@ -13,8 +13,8 @@ for installing the AFP locall. For short:
 * Extract the downloaded archive to an directory of your choice
 * Let's assume the extracted archive lives in `/home/isabelle/afp`, now execute:
 ```
-         mkdir -p ~/.isabelle/Isabelle2016-1/etc
-         echo "/home/isabelle/afp" >> ~/.isabelle/Isabelle2016-1/etc/components
+mkdir -p ~/.isabelle/Isabelle2016-1/etc
+echo "/home/isabelle/afp" >> ~/.isabelle/Isabelle2016-1/etc/components
 ```
 
 ## How to build