From 772339f30feca6a433ec1bcb3cad0f116abdcc1d Mon Sep 17 00:00:00 2001 From: Joe Cross Date: Wed, 10 Aug 2016 23:10:37 -0700 Subject: [PATCH] Revert Makefile docs change --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 8425922e..4ac6372f 100644 --- a/Makefile +++ b/Makefile @@ -4,5 +4,6 @@ cov: scripts/individual_coverage.sh docs: + rm -rf docs/_build cd docs && $(MAKE) html firefox docs/_build/html/index.html