commit | 0472bc8709829fbddb5c93a418e93bc6cc1a8b67 | [log] [tgz] |
---|---|---|
author | Georg Brandl <georg@python.org> | Sun Sep 30 18:00:50 2012 +0200 |
committer | Georg Brandl <georg@python.org> | Sun Sep 30 18:00:50 2012 +0200 |
tree | ea481cb87187fa0fb9f66b67f38cd9e77b4e1d96 | |
parent | a0346e56acc8c5371c7b6356e1862e6e01406dbb [diff] [blame] |
Use newer version of Pygments that handles "yield from".
diff --git a/Doc/Makefile b/Doc/Makefile index cb56ea9..6a804d4 100644 --- a/Doc/Makefile +++ b/Doc/Makefile
@@ -53,7 +53,7 @@ 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