diff options
Diffstat (limited to 'windows')
| -rw-r--r-- | windows/make-windows-installer.bat | 2 | ||||
| -rw-r--r-- | windows/stack.yaml | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat index c7befe531..d3d9bb71c 100644 --- a/windows/make-windows-installer.bat +++ b/windows/make-windows-installer.bat @@ -2,8 +2,6 @@ stack install --test
if %errorlevel% neq 0 exit /b %errorlevel%
for /f "delims=" %%a in ('stack path --local-bin-path') do @set BINPATH=%%a
-strip %BINPATH%\pandoc.exe
-strip %BINPATH%\pandoc-citeproc.exe
%BINPATH%\pandoc.exe -s -S ..\README -o README.html
if %errorlevel% neq 0 exit /b %errorlevel%
%BINPATH%\pandoc.exe -s ..\COPYING -t rtf -S -o COPYING.rtf
diff --git a/windows/stack.yaml b/windows/stack.yaml index a01dbfc03..312b39e3b 100644 --- a/windows/stack.yaml +++ b/windows/stack.yaml @@ -15,5 +15,7 @@ packages: - '..' - '../../pandoc-citeproc' extra-deps: -- 'hsb2hs-0.3.1' -resolver: lts-5.2 +- 'aeson-0.11.1.1' +- 'texmath-0.8.5' +- 'highlighting-kate-0.6.2' +resolver: lts-5.8 |