diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat index 3611ee2db..30983bfea 100644 --- a/windows/make-windows-installer.bat +++ b/windows/make-windows-installer.bat @@ -4,7 +4,7 @@ cabal update cabal-dev clean cabal-dev install --reinstall --force-reinstall --disable-library-for-ghci 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