diff options
Diffstat (limited to 'windows')
-rw-r--r-- | windows/make-windows-installer.bat | 2 | ||||
-rw-r--r-- | windows/stack.yaml | 21 |
2 files changed, 1 insertions, 22 deletions
diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat index 30af17d0c..76f22295e 100644 --- a/windows/make-windows-installer.bat +++ b/windows/make-windows-installer.bat @@ -1,5 +1,5 @@ @echo off
-stack install --test
+stack install --test --stack-yaml ..\stack.pkg.yml
if %errorlevel% neq 0 exit /b %errorlevel%
for /f "delims=" %%a in ('stack path --local-bin-path') do @set BINPATH=%%a
%BINPATH%\pandoc.exe -s --toc ..\MANUAL.txt -o MANUAL.html
diff --git a/windows/stack.yaml b/windows/stack.yaml deleted file mode 100644 index 4cd629f2d..000000000 --- a/windows/stack.yaml +++ /dev/null @@ -1,21 +0,0 @@ -flags: - pandoc: - trypandoc: false - https: true - embed_data_files: true - old-locale: false - network-uri: true - pandoc-citeproc: - bibutils: true - embed_data_files: true - unicode_collation: false - test_citeproc: false - debug: false -packages: -- '..' -- location: - git: https://github.com/jgm/pandoc-citeproc.git - commit: c53a27513318f1d23303ee27e46da9e7702c798e - extra-dep: true -extra-deps: [] -resolver: lts-8.0 |