From eaca413df7a14412bd48e392eed86f12a6cd8e0a Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 16 Oct 2015 09:36:38 -0700
Subject: [PATCH] make-windows-installer.bat:  add copying to shared drive.

---
 windows/make-windows-installer.bat | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/windows/make-windows-installer.bat b/windows/make-windows-installer.bat
index d9c5d3883..cac5d974b 100644
--- a/windows/make-windows-installer.bat
+++ b/windows/make-windows-installer.bat
@@ -32,3 +32,6 @@ light  -sw1076 -ext WixUIExtension -ext WixUtilExtension -out pandoc-%VERSION%-w
 if %errorlevel% neq 0 exit /b %errorlevel%
 echo Starting kSign: sign, then quit kSign to complete the build...
 kSign
+
+echo Copying to shared drive
+copy pandoc-%VERSION%-windows.msi \\VBOXSVR\WindowsShared\