commit 0c8a2b29e26e364fa7048b3607f234cf66f04b37
parent ae90c24fb77d37e02fcfaf0ee9ef64c8b72bb1c1
Author: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Mon, 20 Jun 2016 17:10:28 +0200
fixing TABs in Makefile
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git 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."