diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2013-01-22 10:26:49 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2013-01-22 10:26:49 -0800 |
| commit | 94ed282adf39a019a4c68dffd182e2743c651688 (patch) | |
| tree | f2bdb4d82b0cd7c7b9a6f039dcf39464c83b9254 /windows | |
| parent | b4232fdbda386478f394c10e16a7cb5216871828 (diff) | |
| parent | d52a1ec18f3344db5d2c835c0e2744a47042170e (diff) | |
| download | pandoc-94ed282adf39a019a4c68dffd182e2743c651688.tar.gz | |
Merge branch 'master' of github.com:jgm/pandoc
Diffstat (limited to 'windows')
| -rw-r--r-- | windows/make-windows-installer.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat index 3611ee2db..5b38b4432 100644 --- a/windows/make-windows-installer.bat +++ b/windows/make-windows-installer.bat @@ -2,9 +2,9 @@ cd ..
cabal update
cabal-dev clean
-cabal-dev install --reinstall --force-reinstall --disable-library-for-ghci highlighting-kate
+cabal-dev install --reinstall --force-reinstall highlighting-kate
cabal-dev install --reinstall --force-reinstall --flags="embed_data_files" citeproc-hs
-cabal-dev install --flags="embed_data_files"
+cabal-dev install --reinstall --force-reinstall --flags="embed_data_files"
strip cabal-dev\bin\pandoc.exe
cabal-dev\bin\pandoc.exe -s --template data\templates\default.html -S README -o README.html
copy COPYING COPYING.txt
|