#5444: adapt make.bat to new htmlhelp output file name.

diff --git a/Doc/make.bat b/Doc/make.bat
index 33d354cd7c4016f211f9bb935cae979eeb9edb07..2e2a2de56dab3bddb4870ddfe069b1fab32ab1e1 100644 (file)
--- a/Doc/make.bat
+++ b/Doc/make.bat
@@ -4,6 +4,7 @@ setlocal
 set SVNROOT=http://svn.python.org/projects\r
 if "%PYTHON%" EQU "" set PYTHON=..\pcbuild\python\r
 if "%HTMLHELP%" EQU "" set HTMLHELP=%ProgramFiles%\HTML Help Workshop\hhc.exe\r
+if "%DISTVERSION%" EQU "" for /f "usebackq" %%v in (`%PYTHON% tools/sphinxext/patchlevel.py`) do set DISTVERSION=%%v\r
 \r
 if "%1" EQU "" goto help\r
 if "%1" EQU "html" goto build\r
@@ -51,7 +52,7 @@ if not exist build mkdir build
 if not exist build\%1 mkdir build\%1\r
 if not exist build\doctrees mkdir build\doctrees\r
 cmd /C %PYTHON% tools\sphinx-build.py -b%1 -dbuild\doctrees . build\%*\r
-if "%1" EQU "htmlhelp" "%HTMLHELP%" build\htmlhelp\pydoc.hhp\r
+if "%1" EQU "htmlhelp" "%HTMLHELP%" build\htmlhelp\python%DISTVERSION:.=%.hhp\r
 goto end\r
 \r
 :end\r