Revert accidental commit, apologies for the noise

merwok · merwok · commit 716ac385d991 · 2010-09-06T01:31:11.000Z
diff --git 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
+update: clean checkout
 
-build:
+build: checkout
 	mkdir -p build/$(BUILDER) build/doctrees
 	$(PYTHON) tools/sphinx-build.py $(ALLSPHINXOPTS)
 	@echo
