diff options
| author | John MacFarlane <fiddlosopher@gmail.com> | 2012-06-03 13:06:43 -0700 |
|---|---|---|
| committer | John MacFarlane <fiddlosopher@gmail.com> | 2012-06-03 13:06:43 -0700 |
| commit | 80f9619948c5cf135956f2439310a2979582da76 (patch) | |
| tree | e1ad2660def021d1e79f26ce4983a46e893b5bfa | |
| parent | 1d2041283ba9cef040584150c05f96f9d8a339c0 (diff) | |
| download | pandoc-80f9619948c5cf135956f2439310a2979582da76.tar.gz | |
Have windows installer make man page first.
In cabal-dev, makemanpage fails.
| -rw-r--r-- | windows/make-windows-installer.bat | 2 |
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
|