From 80f9619948c5cf135956f2439310a2979582da76 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 3 Jun 2012 13:06:43 -0700 Subject: Have windows installer make man page first. In cabal-dev, makemanpage fails. --- windows/make-windows-installer.bat | 2 ++ 1 file changed, 2 insertions(+) diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat index b678b3879..3afde2608 100644 --- a/windows/make-windows-installer.bat +++ b/windows/make-windows-installer.bat @@ -1,5 +1,7 @@ @echo off cd .. +ghc --make MakeManPage +MakeManPage.exe cabal update cabal-dev install --disable-library-for-ghci highlighting-kate cabal-dev install --flags="embed_data_files" citeproc-hs -- cgit v1.2.3