Revert accidental commit, apologies for the noise
diff --git a/Doc/Makefile b/Doc/Makefile
index 9e5c543..d12e4c7 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -55,9 +55,9 @@
 	  svn checkout $(SVNROOT)/external/Pygments-1.3.1/pygments tools/pygments; \
 	fi
 
-update: clean
+update: clean checkout
 
-build:
+build: checkout
 	mkdir -p build/$(BUILDER) build/doctrees
 	$(PYTHON) tools/sphinx-build.py $(ALLSPHINXOPTS)
 	@echo