Update make.bat.

diff --git a/Doc/make.bat b/Doc/make.bat
index a1291bec1e95d67d57980f98731b89501b52d454..33d354cd7c4016f211f9bb935cae979eeb9edb07 100644 (file)
--- a/Doc/make.bat
+++ b/Doc/make.bat
@@ -35,14 +35,14 @@ goto end
 :checkout\r
 svn co %SVNROOT%/doctools/trunk/sphinx tools/sphinx\r
 svn co %SVNROOT%/external/docutils-0.5/docutils tools/docutils\r
-svn co %SVNROOT%/external/Jinja-1.2/jinja tools/jinja\r
+svn co %SVNROOT%/external/Jinja-2.1.1/jinja2 tools/jinja2\r
 svn co %SVNROOT%/external/Pygments-0.11.1/pygments tools/pygments\r
 goto end\r
 \r
 :update\r
 svn update tools/sphinx\r
 svn update tools/docutils\r
-svn update tools/jinja\r
+svn update tools/jinja2\r
 svn update tools/pygments\r
 goto end\r
 \r
@@ -54,9 +54,4 @@ cmd /C %PYTHON% tools\sphinx-build.py -b%1 -dbuild\doctrees . build\%*
 if "%1" EQU "htmlhelp" "%HTMLHELP%" build\htmlhelp\pydoc.hhp\r
 goto end\r
 \r
-:webrun\r
-set PYTHONPATH=tools\r
-%PYTHON% -m sphinx.web build\web\r
-goto end\r
-\r
 :end\r