summaryrefslogtreecommitdiff
path: root/windows/make-windows-installer.bat
diff options
context:
space:
mode:
authorJohn MacFarlane <fiddlosopher@gmail.com>2013-09-05 21:01:56 -0700
committerJohn MacFarlane <fiddlosopher@gmail.com>2013-09-05 21:01:56 -0700
commitf49749c46de07bd245492c93c4d0d824651cc8bb (patch)
treef6d48f270f39afe7cdcf1ebc57f4e46708afb06a /windows/make-windows-installer.bat
parent7803c012df1d2e88e5b63c2d044d9b0342a01106 (diff)
More windows package tweaks.
Make sure subordinate packages are reinstalled.
Diffstat (limited to 'windows/make-windows-installer.bat')
-rw-r--r--windows/make-windows-installer.bat1
1 files changed, 1 insertions, 0 deletions
diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat
index 0813496b3..9b651860a 100644
--- a/windows/make-windows-installer.bat
+++ b/windows/make-windows-installer.bat
@@ -6,6 +6,7 @@ if %errorlevel% neq 0 exit /b %errorlevel%
cabal-dev add-source ../pandoc-types
cabal-dev add-source ../pandoc-citeproc
cabal-dev install hsb2hs
+cabal-dev install --force --reinstall --flags="embed_data_files" pandoc-types pandoc-citeproc
cabal-dev install --reinstall --flags="embed_data_files"
if %errorlevel% neq 0 exit /b %errorlevel%
strip cabal-dev\bin\pandoc.exe