summaryrefslogtreecommitdiff
path: root/windows
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2017-02-12 21:41:16 +0100
committerJohn MacFarlane <jgm@berkeley.edu>2017-02-12 21:45:30 +0100
commit395f20a0484b3be14614169b74a8f5b9e063bb2b (patch)
tree5abfab3ff890c4991228fa42f42d9ed9c5f48199 /windows
parent2e5d076af7f219d0bb8459d5c310df2f511f2464 (diff)
Replaced {deb,macos,windows}/stack.yaml with stack.pkg.yaml.
Diffstat (limited to 'windows')
-rw-r--r--windows/make-windows-installer.bat2
-rw-r--r--windows/stack.yaml21
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