Fix MANUAL.txt path in make-windows-installer.txt.
commit1a3d753b0e522951feaf550389a387abfe18a1a9
authorJohn MacFarlane <jgm@berkeley.edu>
dateFri 22 Jul 2016, 15:55 (10 years ago)
parent199489c
windows/make-windows-installer.bat+1−1
@@ -2,7 +2,7 @@
22stack install --test
33if %errorlevel% neq 0 exit /b %errorlevel%
44for /f "delims=" %%a in ('stack path --local-bin-path') do @set BINPATH=%%a
5−%BINPATH%\pandoc.exe -s -S --toc ..\MANUAL -o MANUAL.html
5+%BINPATH%\pandoc.exe -s -S --toc ..\MANUAL.txt -o MANUAL.html
66if %errorlevel% neq 0 exit /b %errorlevel%
77%BINPATH%\pandoc.exe -s ..\COPYING -t rtf -S -o COPYING.rtf
88if %errorlevel% neq 0 exit /b %errorlevel%