(original) (raw)

changeset: 88413:87bdee4d633a branch: 3.3 parent: 88410:05e84d3ecd1e user: Georg Brandl georg@python.org date: Sat Jan 11 20:04:19 2014 +0100 files: Doc/Makefile description: Update Sphinx toolchain. diff -r 05e84d3ecd1e -r 87bdee4d633a Doc/Makefile --- a/Doc/Makefile Sat Jan 11 13:13:46 2014 +0200 +++ b/Doc/Makefile Sat Jan 11 20:04:19 2014 +0100 @@ -41,19 +41,19 @@ checkout: @if [ ! -d tools/sphinx ]; then \ echo "Checking out Sphinx..."; \ - svn checkout (SVNROOT)/external/Sphinx−1.0.7/sphinxtools/sphinx;+svncheckout(SVNROOT)/external/Sphinx-1.0.7/sphinx tools/sphinx; \ + svn checkout (SVNROOT)/external/Sphinx−1.0.7/sphinxtools/sphinx;+svncheckout(SVNROOT)/external/Sphinx-1.2/sphinx tools/sphinx; \ fi @if [ ! -d tools/docutils ]; then \ echo "Checking out Docutils..."; \ - svn checkout (SVNROOT)/external/docutils−0.6/docutilstools/docutils;+svncheckout(SVNROOT)/external/docutils-0.6/docutils tools/docutils; \ + svn checkout (SVNROOT)/external/docutils−0.6/docutilstools/docutils;+svncheckout(SVNROOT)/external/docutils-0.11/docutils tools/docutils; \ fi @if [ ! -d tools/jinja2 ]; then \ echo "Checking out Jinja..."; \ - svn checkout (SVNROOT)/external/Jinja−2.3.1/jinja2tools/jinja2;+svncheckout(SVNROOT)/external/Jinja-2.3.1/jinja2 tools/jinja2; \ + svn checkout (SVNROOT)/external/Jinja−2.3.1/jinja2tools/jinja2;+svncheckout(SVNROOT)/external/Jinja2-2.7.2/jinja2 tools/jinja2; \ fi @if [ ! -d tools/pygments ]; then \ echo "Checking out Pygments..."; \ - svn checkout (SVNROOT)/external/Pygments−1.5dev−20120930/pygmentstools/pygments;+svncheckout(SVNROOT)/external/Pygments-1.5dev-20120930/pygments tools/pygments; \ + svn checkout (SVNROOT)/external/Pygments−1.5dev−20120930/pygmentstools/pygments;+svncheckout(SVNROOT)/external/Pygments-1.6/pygments tools/pygments; \ fi update: clean checkout /georg@python.org