diff options
Diffstat (limited to 'windows/make-windows-installer.bat')
| -rw-r--r-- | windows/make-windows-installer.bat | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat index a0fd44ea4..0bd05a0e3 100644 --- a/windows/make-windows-installer.bat +++ b/windows/make-windows-installer.bat @@ -5,9 +5,7 @@ cabal sandbox init cabal clean
cabal install hsb2hs alex happy
if %errorlevel% neq 0 exit /b %errorlevel%
-cabal install -v1 --force --reinstall --flags="embed_data_files"
-if %errorlevel% neq 0 exit /b %errorlevel%
-cabal install -v1 --force --reinstall --flags="embed_data_files" pandoc-citeproc
+cabal install -v1 --force --reinstall --flags="embed_data_files" . pandoc-citeproc
if %errorlevel% neq 0 exit /b %errorlevel%
strip .\.cabal-sandbox\bin\pandoc.exe
strip .\.cabal-sandbox\bin\pandoc-citeproc.exe
|