windowns installer: Removed --disable-library-for-ghci.
commit613a872c01be8333b04d0d7e2811e6f00e8e2c37
authorJohn MacFarlane <fiddlosopher@gmail.com>
dateTue 22 Jan 2013, 08:47 (14 years ago)
parent294df9d
windows/make-windows-installer.bat+1−1
@@ -2,7 +2,7 @@
22cd ..
33cabal update
44cabal-dev clean
5−cabal-dev install --reinstall --force-reinstall --disable-library-for-ghci highlighting-kate
5+cabal-dev install --reinstall --force-reinstall highlighting-kate
66cabal-dev install --reinstall --force-reinstall --flags="embed_data_files" citeproc-hs
77cabal-dev install --reinstall --force-reinstall --flags="embed_data_files"
88strip cabal-dev\bin\pandoc.exe