Amend b8ebf381390f: find patchlevel.py in extensions.

diff --git a/Doc/make.bat b/Doc/make.bat
index c8f608252e85ed1cf692e8b501db3b810f28e1c0..10701666f6b1786d81b153316d5b0c52714fab4a 100644 (file)
--- a/Doc/make.bat
+++ b/Doc/make.bat
@@ -12,7 +12,7 @@ if DEFINED ProgramFiles(x86) set _PRGMFLS=%ProgramFiles(x86)%
 if NOT DEFINED ProgramFiles(x86) set _PRGMFLS=%ProgramFiles%
 if "%HTMLHELP%" EQU "" set HTMLHELP=%_PRGMFLS%\HTML Help Workshop\hhc.exe
 
-if "%DISTVERSION%" EQU "" for /f "usebackq" %%v in (`%PYTHON% tools/patchlevel.py`) do set DISTVERSION=%%v
+if "%DISTVERSION%" EQU "" for /f "usebackq" %%v in (`%PYTHON% tools/extensions/patchlevel.py`) do set DISTVERSION=%%v
 
 if "%BUILDDIR%" EQU "" set BUILDDIR=build