summaryrefslogtreecommitdiff
path: root/windows
diff options
context:
space:
mode:
authorJohn MacFarlane <fiddlosopher@gmail.com>2013-01-22 08:47:03 -0800
committerJohn MacFarlane <fiddlosopher@gmail.com>2013-01-22 08:47:03 -0800
commit613a872c01be8333b04d0d7e2811e6f00e8e2c37 (patch)
treef5331482142153d6c9c1ad844e6adf3525751077 /windows
parent294df9deedaa17ba019e1dd57221aa2062cb6805 (diff)
windowns installer: Removed --disable-library-for-ghci.
Diffstat (limited to 'windows')
-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 30983bfea..5b38b4432 100644
--- a/windows/make-windows-installer.bat
+++ b/windows/make-windows-installer.bat
@@ -2,7 +2,7 @@
cd ..
cabal update
cabal-dev clean
-cabal-dev install --reinstall --force-reinstall --disable-library-for-ghci highlighting-kate
+cabal-dev install --reinstall --force-reinstall highlighting-kate
cabal-dev install --reinstall --force-reinstall --flags="embed_data_files" citeproc-hs
cabal-dev install --reinstall --force-reinstall --flags="embed_data_files"
strip cabal-dev\bin\pandoc.exe