Am 11.01.2014 21:11, schrieb Terry Reedy: > On 1/11/2014 2:04 PM, georg.brandl wrote: >> http://hg.python.org/cpython/rev/87bdee4d633a >> changeset: 88413:87bdee4d633a >> branch: 3.3 >> parent: 88410:05e84d3ecd1e >> user: Georg Brandl <ge...@python.org> >> date: Sat Jan 11 20:04:19 2014 +0100 >> summary: >> Update Sphinx toolchain. >> >> files: >> Doc/Makefile | 8 ++++---- >> 1 files changed, 4 insertions(+), 4 deletions(-) >> >> >> diff --git a/Doc/Makefile b/Doc/Makefile >> --- a/Doc/Makefile >> +++ b/Doc/Makefile >> @@ -41,19 +41,19 @@ >> checkout: >> @if [ ! -d tools/sphinx ]; then \ >> echo "Checking out Sphinx..."; \ >> - svn checkout $(SVNROOT)/external/Sphinx-1.0.7/sphinx tools/sphinx; \ >> + svn checkout $(SVNROOT)/external/Sphinx-1.2/sphinx tools/sphinx; \ >> fi > > Doc/make.bat needs to be similarly updated.
Indeed, thanks for the reminder. Georg _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
