diff --git a/Doc/Makefile b/Doc/Makefile index f824eba2c3d..204998678da 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -40,7 +40,7 @@ help: checkout: @if [ ! -d tools/sphinx ]; then \ echo "Checking out Sphinx..."; \ - svn checkout $(SVNROOT)/external/Sphinx-0.6.5/sphinx tools/sphinx; \ + svn checkout $(SVNROOT)/external/Sphinx-0.6.7/sphinx tools/sphinx; \ fi @if [ ! -d tools/docutils ]; then \ echo "Checking out Docutils..."; \ diff --git a/Doc/README.txt b/Doc/README.txt index d32d1edbba0..0e70be5832b 100644 --- a/Doc/README.txt +++ b/Doc/README.txt @@ -73,7 +73,7 @@ Without make You'll need to install the Sphinx package, either by checking it out via :: - svn co http://svn.python.org/projects/external/Sphinx-0.6.5/sphinx tools/sphinx + svn co http://svn.python.org/projects/external/Sphinx-0.6.7/sphinx tools/sphinx or by installing it from PyPI. diff --git a/Doc/make.bat b/Doc/make.bat index 702695150c3..fbae42cefc0 100644 --- a/Doc/make.bat +++ b/Doc/make.bat @@ -34,7 +34,7 @@ echo. goto end :checkout -svn co %SVNROOT%/external/Sphinx-0.6.5/sphinx tools/sphinx +svn co %SVNROOT%/external/Sphinx-0.6.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.3.1/pygments tools/pygments