diff options
| -rw-r--r-- | windows/make-windows-installer.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat index ce3cef212..3611ee2db 100644 --- a/windows/make-windows-installer.bat +++ b/windows/make-windows-installer.bat @@ -2,8 +2,8 @@ cd ..
cabal update
cabal-dev clean
-cabal-dev install --disable-library-for-ghci highlighting-kate
-cabal-dev install --flags="embed_data_files" citeproc-hs
+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"
strip cabal-dev\bin\pandoc.exe
cabal-dev\bin\pandoc.exe -s --template data\templates\default.html -S README -o README.html
|