#7602: improve "clean" and "checkout" targets now that all tools are in externals.

diff --git a/Doc/Makefile b/Doc/Makefile
index a8b46bdc8e565edb1523a3ee69918efaf22913ef..cc47e40698f7e11a2159339d3b001617cf1adb83 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -47,11 +47,7 @@ checkout:
          svn checkout $(SVNROOT)/external/Pygments-1.1.1/pygments tools/pygments; \
        fi
 
-update: checkout
-       svn update tools/sphinx
-       svn update tools/docutils
-       svn update tools/jinja2
-       svn update tools/pygments
+update: clean checkout
 
 build: checkout
        mkdir -p build/$(BUILDER) build/doctrees
@@ -111,6 +107,9 @@ htmlview: html
 clean:
        -rm -rf build/*
        -rm -rf tools/sphinx
+       -rm -rf tools/pygments
+       -rm -rf tools/jinja2
+       -rm -rf tools/docutils
 
 dist:
        -rm -rf dist