summaryrefslogtreecommitdiff
path: root/windows
diff options
context:
space:
mode:
Diffstat (limited to 'windows')
-rw-r--r--windows/make-windows-installer.bat4
1 files changed, 2 insertions, 2 deletions
diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat
index 6dcc361e6..cf20bc98c 100644
--- a/windows/make-windows-installer.bat
+++ b/windows/make-windows-installer.bat
@@ -4,9 +4,9 @@ cabal update
cabal-dev clean
cabal install hsb2hs cabal-dev
if %errorlevel% neq 0 exit /b %errorlevel%
-cabal-dev install -v1 --reinstall --flags="embed_data_files" pandoc-citeproc
+cabal-dev install -v1 --force --reinstall --flags="embed_data_files"
if %errorlevel% neq 0 exit /b %errorlevel%
-cabal-dev install -v1 --reinstall --flags="embed_data_files"
+cabal-dev install -v1 --reinstall --flags="embed_data_files" pandoc-citeproc
if %errorlevel% neq 0 exit /b %errorlevel%
strip cabal-dev\bin\pandoc.exe
strip cabal-dev\bin\pandoc-citeproc.exe