From 5144e75d66b3bb3cb649800df4bdcda63650780e Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 2 Nov 2006 15:41:15 +0000
Subject: [PATCH] Don't need non-Windows start scripts in Windows binary
 version.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@106 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/nsis_script.nsi | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/prism/nsis_script.nsi b/prism/nsis_script.nsi
index 74239a1c..3a54b7d3 100644
--- a/prism/nsis_script.nsi
+++ b/prism/nsis_script.nsi
@@ -78,7 +78,8 @@ Section "${PRISM_NAME}"
 	SectionIn RO ; RO=compulsory
 	
     SetOutPath "$INSTDIR"
-    File /r bin
+    File bin\prism.bat
+    File bin\xprism.bat
     File /r etc
     File /r lib
     File "CHANGELOG.txt"