summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2016-03-20 09:01:52 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2016-03-20 09:01:52 -0700
commitc7df80e0c3116ad05bc107a6951f82786d273209 (patch)
treeda9117745fc2073a6d60b8ca3cddbd01c3c4c394
parent128409f387bad63de4496ac5f8f2f697edf0092f (diff)
Removed strip commands from make-windows-installer.bat.
-rw-r--r--windows/make-windows-installer.bat2
1 files changed, 0 insertions, 2 deletions
diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat
index c7befe531..d3d9bb71c 100644
--- a/windows/make-windows-installer.bat
+++ b/windows/make-windows-installer.bat
@@ -2,8 +2,6 @@
stack install --test
if %errorlevel% neq 0 exit /b %errorlevel%
for /f "delims=" %%a in ('stack path --local-bin-path') do @set BINPATH=%%a
-strip %BINPATH%\pandoc.exe
-strip %BINPATH%\pandoc-citeproc.exe
%BINPATH%\pandoc.exe -s -S ..\README -o README.html
if %errorlevel% neq 0 exit /b %errorlevel%
%BINPATH%\pandoc.exe -s ..\COPYING -t rtf -S -o COPYING.rtf