diff options
Diffstat (limited to 'Doc/Makefile')
| -rw-r--r-- | Doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 9e5c543..d12e4c7 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 |