a5da6898c9
* Exit batch file if any of the cabal-dev installs fail. * There's no longer any need to reinstall highlighting-kate. * Don't start with a 'cabal update'; leave that to the user.
15 lines
565 B
Batchfile
15 lines
565 B
Batchfile
@echo off
|
|
cd ..
|
|
rem cabal update
|
|
cabal-dev clean
|
|
cabal-dev install --reinstall --force-reinstall --flags="embed_data_files" citeproc-hs
|
|
if %errorlevel% neq 0 exit /b %errorlevel%
|
|
cabal-dev install --reinstall --force-reinstall --flags="embed_data_files"
|
|
if %errorlevel% neq 0 exit /b %errorlevel%
|
|
strip cabal-dev\bin\pandoc.exe
|
|
cabal-dev\bin\pandoc.exe -s --template data\templates\default.html -S README -o README.html
|
|
if %errorlevel% neq 0 exit /b %errorlevel%
|
|
copy COPYING COPYING.txt
|
|
copy COPYRIGHT COPYRIGHT.txt
|
|
cd windows
|
|
ISCC pandoc-setup.iss
|