diff options
-rwxr-xr-x | make_osx_package.sh | 1 | ||||
-rw-r--r-- | windows/make-windows-installer.bat | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/make_osx_package.sh b/make_osx_package.sh index dcf06fad4..8b268f7d7 100755 --- a/make_osx_package.sh +++ b/make_osx_package.sh @@ -16,7 +16,6 @@ mkdir -p $RESOURCES echo Building pandoc... cabal-dev install-deps -cabal-dev install --reinstall --force-reinstalls --flags="embed_data_files" citeproc-hs cabal-dev configure --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE cabal-dev build cabal-dev copy --destdir=$ROOT diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat index 12d873b70..998da6775 100644 --- a/windows/make-windows-installer.bat +++ b/windows/make-windows-installer.bat @@ -2,7 +2,6 @@ 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%
|