From e5ee7e38e877b2c7f25d9695fdd68fbc93954832 Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Wed, 30 Dec 2009 18:36:09 +0000 Subject: [PATCH] #7602: improve "clean" and "checkout" targets now that all tools are in externals. --- Doc/Makefile | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/Doc/Makefile b/Doc/Makefile index a8b46bdc8e..cc47e40698 100644 --- 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 -- 2.50.1