diff --git a/Doc/Makefile b/Doc/Makefile index 9e5c543d6a6..d12e4c7ca94 100644 --- 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