Fixes path to patchlevel.py in doc/make.bat
1 file changed