From 613a872c01be8333b04d0d7e2811e6f00e8e2c37 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Tue, 22 Jan 2013 08:47:03 -0800 Subject: [PATCH] windowns installer: Removed --disable-library-for-ghci. --- windows/make-windows-installer.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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