diff options
| author | John MacFarlane <fiddlosopher@gmail.com> | 2013-01-22 08:16:40 -0800 |
|---|---|---|
| committer | John MacFarlane <fiddlosopher@gmail.com> | 2013-01-22 08:16:40 -0800 |
| commit | d1e3bc7df4585eba92a2e4975ecac07b511e4b00 (patch) | |
| tree | d48e91390d9453ee9184f7d2eb79a44b240c2cf7 /windows | |
| parent | ddfbcae782bbc4436ddd2650e1ee1fb686248218 (diff) | |
Force reinstall for windows package.
Diffstat (limited to 'windows')
| -rw-r--r-- | windows/make-windows-installer.bat | 2 |
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
|