Revert accidental commit, apologies for the noise

This commit is contained in:
Éric Araujo 2010-09-06 01:31:11 +00:00
parent db9044e065
commit 716ac385d9

View file

@ -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