Update

diff --git a/Doc/Makefile b/Doc/Makefile
index d12e4c7ca94cdda0fb2c1ac256a45c080a19b646..9e5c543d6a630f258bc88b789821e6d885daa214 100644 (file)
--- 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