3
# DP: Don't try to download documentation tools
6
if [ $# -eq 3 -a "$2" = '-d' ]; then
9
elif [ $# -ne 1 ]; then
10
echo >&2 "usage: `basename $0`: -patch|-unpatch [-d <srcdir>]"
15
patch $pdir -f --no-backup-if-mismatch -p0 < $0
18
patch $pdir -f --no-backup-if-mismatch -R -p0 < $0
21
echo >&2 "usage: `basename $0`: -patch|-unpatch [-d <srcdir>]"
26
--- Doc/Makefile~ 2008-04-13 22:51:27.000000000 +0200
27
+++ Doc/Makefile 2008-05-29 18:50:41.000000000 +0200
29
svn update tools/jinja
30
svn update tools/pygments
34
mkdir -p build/$(BUILDER) build/doctrees
35
$(PYTHON) tools/sphinx-build.py $(ALLSPHINXOPTS)