Doc: update Sphinx toolchain also in make.bat

This commit is contained in:
Georg Brandl 2014-01-12 08:09:01 +01:00
parent 5636eb7b93
commit 6392ad98d0
1 changed files with 4 additions and 4 deletions

View File

@ -34,10 +34,10 @@ echo.
goto end
:checkout
svn co %SVNROOT%/external/Sphinx-1.0.7/sphinx tools/sphinx
svn co %SVNROOT%/external/docutils-0.6/docutils tools/docutils
svn co %SVNROOT%/external/Jinja-2.3.1/jinja2 tools/jinja2
svn co %SVNROOT%/external/Pygments-1.5dev-20120930/pygments tools/pygments
svn co %SVNROOT%/external/Sphinx-1.2/sphinx tools/sphinx
svn co %SVNROOT%/external/docutils-0.11/docutils tools/docutils
svn co %SVNROOT%/external/Jinja2-2.7.2/jinja2 tools/jinja2
svn co %SVNROOT%/external/Pygments-1.6/pygments tools/pygments
goto end
:update