From 8f08dd6f37d83e06c5b2d9726f4edb4dfb24ac8d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 30 Jan 2012 10:20:49 +0000
Subject: [PATCH] Remove VERSIONS from installers.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4518 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/Makefile            | 2 +-
 prism/src/nsis_script.nsi | 2 --
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/prism/Makefile b/prism/Makefile
index accc60f8..9c331823 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -437,7 +437,7 @@ dist_bin_copy:
 		BIN_DIST_DIR_NAME=`basename $$BIN_DIST_DIR` && \
 		echo Creating binary distribution in $$BIN_DIST_DIR... && \
 		mkdir $$BIN_DIST_DIR && \
-		tar cf - README.txt VERSIONS.txt CHANGELOG.txt COPYING.txt install.sh bin etc lib examples doc | ( cd $$BIN_DIST_DIR; tar xfp -) && \
+		tar cf - README.txt CHANGELOG.txt COPYING.txt install.sh bin etc lib examples doc | ( cd $$BIN_DIST_DIR; tar xfp -) && \
 		echo Zipping $$BIN_DIST_DIR_NAME... && \
 		(cd $$BIN_DIST_DIR/..; tar cfz $$BIN_DIST_DIR_NAME.tar.gz $$BIN_DIST_DIR_NAME); \
 	fi
diff --git a/prism/src/nsis_script.nsi b/prism/src/nsis_script.nsi
index 70c0014b..a87f8b38 100644
--- a/prism/src/nsis_script.nsi
+++ b/prism/src/nsis_script.nsi
@@ -67,7 +67,6 @@ Section "${PRISM_NAME}"
     File "COPYING.txt"
     FILE "install.sh"
     FILE "README.txt"
-    FILE "VERSIONS.txt"
 
     SetOutPath "$INSTDIR\bin"
     File bin\prism.bat
@@ -142,7 +141,6 @@ Section Uninstall
     Delete "$INSTDIR\COPYING.txt"
     Delete "$INSTDIR\install.sh"
     Delete "$INSTDIR\README.txt"
-    Delete "$INSTDIR\VERSIONS.txt"
 
     RMDir /r "$INSTDIR\examples\"