From 716ac385d99100beb3a9b3a5ce5ca04dd27d710b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=89ric=20Araujo?= Date: Mon, 6 Sep 2010 01:31:11 +0000 Subject: Revert accidental commit, apologies for the noise --- Doc/Makefile | 4 ++-- 1 file 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 -- cgit v0.12