aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--windows/make-windows-installer.bat2
1 files changed, 1 insertions, 1 deletions
diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat
index 3611ee2db..30983bfea 100644
--- a/windows/make-windows-installer.bat
+++ b/windows/make-windows-installer.bat
@@ -4,7 +4,7 @@ cabal update
cabal-dev clean
cabal-dev install --reinstall --force-reinstall --disable-library-for-ghci highlighting-kate
cabal-dev install --reinstall --force-reinstall --flags="embed_data_files" citeproc-hs
-cabal-dev install --flags="embed_data_files"
+cabal-dev install --reinstall --force-reinstall --flags="embed_data_files"
strip cabal-dev\bin\pandoc.exe
cabal-dev\bin\pandoc.exe -s --template data\templates\default.html -S README -o README.html
copy COPYING COPYING.txt