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