Remove VERSIONS from installers.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4518 bbc10eb1-c90d-0410-af57-cb519fbb1720

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

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\"