Amend b8ebf381390f: find patchlevel.py in extensions.

2ad46669 · Martin v. Löwis · 6f79c0d3 · 2ad46669
Commit 2ad46669 authored Feb 09, 2015 by Martin v. Löwis
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Doc/make.bat Doc/make.bat +1 -1

No files found.
--- 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