| commit | 5a5fee8ce342c0f8c95f6b2ed60c5640fdab6bec | [log] [tgz] |
|---|---|---|
| author | Georg Brandl <georg@python.org> | Wed Dec 30 18:32:50 2009 +0000 |
| committer | Georg Brandl <georg@python.org> | Wed Dec 30 18:32:50 2009 +0000 |
| tree | 72d0af1d4978d0317a31288b5732c92dad151f21 | |
| parent | 95049f2561a571756e58ce8fc4b1cc79f858624f [diff] [blame] |
#7487: update Pygments version.
diff --git a/Doc/make.bat b/Doc/make.bat index a52f160..8e2be01 100644 --- a/Doc/make.bat +++ b/Doc/make.bat
@@ -37,7 +37,7 @@ svn co %SVNROOT%/external/Sphinx-0.6.3/sphinx tools/sphinx svn co %SVNROOT%/external/docutils-0.5/docutils tools/docutils svn co %SVNROOT%/external/Jinja-2.1.1/jinja2 tools/jinja2 -svn co %SVNROOT%/external/Pygments-0.11.1/pygments tools/pygments +svn co %SVNROOT%/external/Pygments-1.1.1/pygments tools/pygments goto end :update