From 553b9422c919d6cd828e6ac3acecac8de46ec9c3 Mon Sep 17 00:00:00 2001 From: bkaradzic Date: Fri, 18 Oct 2013 08:29:11 -0700 Subject: [PATCH] Fixed makefile. --- makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefile b/makefile index 775f28c1..b9fe4967 100644 --- a/makefile +++ b/makefile @@ -117,4 +117,4 @@ docs: clean: @echo Cleaning... - -rm -r .build + -@rm -rf .build