From 0c8a2b29e26e364fa7048b3607f234cf66f04b37 Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Mon, 20 Jun 2016 17:10:28 +0200
Subject: fixing TABs in Makefile

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 51af85c5..48c5c118 100644
--- a/Makefile
+++ b/Makefile
@@ -53,8 +53,8 @@ clean:
 # remove all cached state first.
 html:
 	$(SPHINXBUILD) -b html-linked $(ALLSPHINXOPTS) $(BUILDDIR)/html
-        @cp favicon.ico $(BUILDDIR)/html
-        @cp robots.txt $(BUILDDIR)/html
+	@cp favicon.ico $(BUILDDIR)/html
+	@cp robots.txt $(BUILDDIR)/html
 	@echo
 	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
 
-- 
cgit v1.2.3