diff --git a/Doc/Makefile b/Doc/Makefile
index d12e4c7ca94..9e5c543d6a6 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -55,9 +55,9 @@ checkout:
 	  svn checkout $(SVNROOT)/external/Pygments-1.3.1/pygments tools/pygments; \
 	fi
 
-update: clean checkout
+update: clean
 
-build: checkout
+build:
 	mkdir -p build/$(BUILDER) build/doctrees
 	$(PYTHON) tools/sphinx-build.py $(ALLSPHINXOPTS)
 	@echo