Call git checkout on make clean

nyamama · Apr 14, 2013 · 5894048 · 5894048
1 parent cdc4e00
commit 5894048
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/Makefile b/docs/Makefile
@@ -40,6 +40,7 @@ help:
 
 clean:
 	-rm -rf $(BUILDDIR)/*/*
+	-cd $(BUILDDIR)/html && git checkout HEAD .
 
 html:
 	$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html