mirror of https://github.com/python/cpython
#7487: update Pygments version.
This commit is contained in:
parent
95049f2561
commit
5a5fee8ce3
|
@ -90,7 +90,7 @@ or by installing it from PyPI.
|
||||||
|
|
||||||
You can optionally also install Pygments, either as a checkout via ::
|
You can optionally also install Pygments, either as a checkout via ::
|
||||||
|
|
||||||
svn co http://svn.python.org/projects/external/Pygments-0.11.1/pygments tools/pygments
|
svn co http://svn.python.org/projects/external/Pygments-1.1.1/pygments tools/pygments
|
||||||
|
|
||||||
or from PyPI at http://pypi.python.org/pypi/Pygments.
|
or from PyPI at http://pypi.python.org/pypi/Pygments.
|
||||||
|
|
||||||
|
|
|
@ -37,7 +37,7 @@ goto end
|
||||||
svn co %SVNROOT%/external/Sphinx-0.6.3/sphinx tools/sphinx
|
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/docutils-0.5/docutils tools/docutils
|
||||||
svn co %SVNROOT%/external/Jinja-2.1.1/jinja2 tools/jinja2
|
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
|
goto end
|
||||||
|
|
||||||
:update
|
:update
|
||||||
|
|
Loading…
Reference in New Issue