diff options
Diffstat (limited to 'windows')
-rw-r--r-- | windows/make-windows-installer.bat | 1 |
1 files changed, 0 insertions, 1 deletions
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%
|