b3ad94bde9
* MakeManPage.hs has been transformed into man/make-pandoc-man-pages.hs. * There is now a cabal stanza for this, so the dependencies are handled by cabal. * Special treatment in Setup.hs ensures that this never gets installed; it is built and used to create the man pages. * Setup.hs cleaned up.
15 lines
592 B
Batchfile
15 lines
592 B
Batchfile
@echo off
|
|
cd ..
|
|
cabal update
|
|
cabal-dev clean
|
|
cabal-dev install --disable-library-for-ghci highlighting-kate
|
|
cabal-dev install --flags="embed_data_files" citeproc-hs
|
|
cabal-dev install --flags="executable -library blaze_html_0_5" --datasubdir=
|
|
rem note: we use -f-library in building pandoc, because
|
|
rem if the library is built, the data file paths will not be relocatable!
|
|
strip cabal-dev\bin\pandoc.exe
|
|
cabal-dev\bin\pandoc.exe -s --template templates\default.html -S README -o README.html
|
|
copy COPYING COPYING.txt
|
|
copy COPYRIGHT COPYRIGHT.txt
|
|
cd windows
|
|
ISCC pandoc-setup.iss
|