diff options
-rw-r--r-- | Doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index d12e4c7..9e5c543 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 checkout +update: clean -build: checkout +build: mkdir -p build/$(BUILDER) build/doctrees $(PYTHON) tools/sphinx-build.py $(ALLSPHINXOPTS) @echo |