commit | 95049f2561a571756e58ce8fc4b1cc79f858624f | [log] [tgz] |
---|---|---|
author | Georg Brandl <georg@python.org> | Wed Dec 30 16:21:26 2009 +0000 |
committer | Georg Brandl <georg@python.org> | Wed Dec 30 16:21:26 2009 +0000 |
tree | bcc3cebb04c6ae5052664ca9174f23852e487a8c | |
parent | 9b02e85e8d4b4a850534ba0666086cf9bbfbde9e [diff] [blame] |
Use new Pygments version.
diff --git a/Doc/Makefile b/Doc/Makefile index 519a1c9..a8b46bd 100644 --- a/Doc/Makefile +++ b/Doc/Makefile
@@ -44,7 +44,7 @@ fi @if [ ! -d tools/pygments ]; then \ echo "Checking out Pygments..."; \ - svn checkout $(SVNROOT)/external/Pygments-0.11.1/pygments tools/pygments; \ + svn checkout $(SVNROOT)/external/Pygments-1.1.1/pygments tools/pygments; \ fi update: checkout