diff options
| -rw-r--r-- | Doc/make.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/make.bat b/Doc/make.bat index 461c35c..e660495 100644 --- a/Doc/make.bat +++ b/Doc/make.bat @@ -41,7 +41,7 @@ if exist "%HTMLHELP%" goto :skiphhcsearch rem Search for HHC in likely places set HTMLHELP= -where hhc /q && set HTMLHELP=hhc && goto :skiphhcsearch +where hhc /q && set "HTMLHELP=hhc" && goto :skiphhcsearch where /R ..\externals hhc > "%TEMP%\hhc.loc" 2> nul && set /P HTMLHELP= < "%TEMP%\hhc.loc" & del "%TEMP%\hhc.loc" if not exist "%HTMLHELP%" where /R "%ProgramFiles(x86)%" hhc > "%TEMP%\hhc.loc" 2> nul && set /P HTMLHELP= < "%TEMP%\hhc.loc" & del "%TEMP%\hhc.loc" if not exist "%HTMLHELP%" where /R "%ProgramFiles%" hhc > "%TEMP%\hhc.loc" 2> nul && set /P HTMLHELP= < "%TEMP%\hhc.loc" & del "%TEMP%\hhc.loc" |