summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <fiddlosopher@gmail.com>2013-01-20 19:36:44 -0800
committerJohn MacFarlane <fiddlosopher@gmail.com>2013-01-20 19:36:44 -0800
commit65528e48f8c7bd96e97b09e07a192a877acd173c (patch)
tree91d127a4fa03aa3ed5ebaa3cacdefd86ad41069c
parent93c9a1c1670b2cc45a9bb27676a767a32e9a0a19 (diff)
make-windows-installer: force reinstall of citeproc-hs and h-k.
-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 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