From a76e07c02030eff956e37f4eebbfb06390abd8cf Mon Sep 17 00:00:00 2001
From: Victor Hu <whowutwut@gmail.com>
Date: Mon, 5 Oct 2015 10:02:57 -0400
Subject: [PATCH] Remove the whole build directory for the docs instead of just
 the contents so that we don't have left over directories when switching
 branches

---
 docs/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/Makefile b/docs/Makefile
index c03d22370..a9d8abda3 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -49,7 +49,7 @@ help:
 	@echo "  coverage   to run coverage check of the documentation (if enabled)"
 
 clean:
-	rm -rf $(BUILDDIR)/*
+	rm -rf $(BUILDDIR)
 
 html:
 	$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html