summaryrefslogtreecommitdiff
path: root/Doc/Makefile
diff options
context:
space:
mode:
authorGeorg Brandl <georg@python.org>2012-09-30 18:00:50 +0200
committerGeorg Brandl <georg@python.org>2012-09-30 18:00:50 +0200
commit0472bc8709829fbddb5c93a418e93bc6cc1a8b67 (patch)
treeea481cb87187fa0fb9f66b67f38cd9e77b4e1d96 /Doc/Makefile
parenta0346e56acc8c5371c7b6356e1862e6e01406dbb (diff)
downloadcpython-git-0472bc8709829fbddb5c93a418e93bc6cc1a8b67.tar.gz
Use newer version of Pygments that handles "yield from".
Diffstat (limited to 'Doc/Makefile')
-rw-r--r--Doc/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile
index cb56ea9aa8..6a804d4b42 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -53,7 +53,7 @@ checkout:
fi
@if [ ! -d tools/pygments ]; then \
echo "Checking out Pygments..."; \
- svn checkout $(SVNROOT)/external/Pygments-1.3.1/pygments tools/pygments; \
+ svn checkout $(SVNROOT)/external/Pygments-1.5dev-20120930/pygments tools/pygments; \
fi
update: clean checkout