Changed icons and install script

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

prism/nsis_script.nsi

@@ -48,7 +48,6 @@ UninstPage instfiles
 # --------------------------------------------------------------------------- #
 
 Name            "${PRISM_NAME}"
-Icon            "${PRISM_DIR}etc\p32.ico"
 OutFile         "..\${PRISM_BUILD}-win-installer.exe"
 
 CRCCheck        on
@@ -112,7 +111,7 @@ Section "Desktop shortcut"
 	
 	CreateShortCut  "$DESKTOP\${PRISM_NAME}.lnk" \
                     "$INSTDIR\bin\xprism.bat" ""                            \
-                    "$INSTDIR\etc\p32.ico" 0                                \
+                    "$INSTDIR\etc\prism.ico" 0                                \
                     SW_SHOWMINIMIZED "" "${PRISM_NAME} (GUI mode)"
                     
 SectionEnd
@@ -125,7 +124,7 @@ Section "Start menu shortcuts"
 
     CreateShortCut  "$SMPROGRAMS\${PRISM_NAME}\PRISM (GUI).lnk" \
                     "$INSTDIR\bin\xprism.bat" ""                            \
-                    "$INSTDIR\etc\p32.ico" 0                                \
+                    "$INSTDIR\etc\prism.ico" 0                                \
                     SW_SHOWMINIMIZED "" "Runs the PRISM GUI"
 
     CreateShortCut  "$SMPROGRAMS\${PRISM_NAME}\PRISM (console).lnk" \