From c5e60e47227cef597b27540598280ad88aa9eedd Mon Sep 17 00:00:00 2001 From: Manuel Ebert Date: Wed, 19 Mar 2014 15:24:33 -0700 Subject: [PATCH] Makefile update --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 3b294429..5fc66f25 100644 --- a/Makefile +++ b/Makefile @@ -8,7 +8,7 @@ clean: rm -rf _build rm -rf _sources rm -rf _static - rm *.html + rm -f *.html # Build GitHub Page from docs