summaryrefslogtreecommitdiff
path: root/windows/make-windows-installer.bat
diff options
context:
space:
mode:
authorJohn MacFarlane <fiddlosopher@gmail.com>2012-06-03 13:06:43 -0700
committerJohn MacFarlane <fiddlosopher@gmail.com>2012-06-03 13:06:43 -0700
commit80f9619948c5cf135956f2439310a2979582da76 (patch)
treee1ad2660def021d1e79f26ce4983a46e893b5bfa /windows/make-windows-installer.bat
parent1d2041283ba9cef040584150c05f96f9d8a339c0 (diff)
Have windows installer make man page first.
In cabal-dev, makemanpage fails.
Diffstat (limited to 'windows/make-windows-installer.bat')
-rw-r--r--windows/make-windows-installer.bat2
1 files changed, 2 insertions, 0 deletions
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