# DP: Don't try to download documentation tools

--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -57,7 +57,7 @@
 
 update: clean checkout
 
-build: checkout
+build:
 	mkdir -p build/$(BUILDER) build/doctrees
 	$(PYTHON) tools/sphinx-build.py $(ALLSPHINXOPTS)
 	@echo