summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Doc/make.bat2
-rw-r--r--Misc/NEWS2
2 files changed, 3 insertions, 1 deletions
diff --git a/Doc/make.bat b/Doc/make.bat
index d234e77..d3f01b5 100644
--- a/Doc/make.bat
+++ b/Doc/make.bat
@@ -34,7 +34,7 @@ echo.
goto end
:checkout
-svn co %SVNROOT%/external/Sphinx-0.6.7/sphinx tools/sphinx
+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.3.1/pygments tools/pygments
diff --git a/Misc/NEWS b/Misc/NEWS
index 10c3bd0..790979c 100644
--- a/Misc/NEWS
+++ b/Misc/NEWS
@@ -953,6 +953,8 @@ Tools/Demos
Documentation
-------------
+- Issue #17412: update 2.7 Doc/make.bat to also use sphinx-1.0.7.
+
- Issue #17047: remove doubled words in docs and docstrings
reported by Serhiy Storchaka and Matthew Barnett.