From 0c974eb2e4788d1af2d1b759bd4ada3cb1fb9e77 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 17 Sep 2014 15:27:25 +0200
Subject: win32: remove outdated splash screen

The official Coq logo does not work as a splash screen.
Simplest fix: no splash screen.
---
 dev/nsis/coq.nsi        |  17 -----------------
 dev/nsis/coq_splash.bmp | Bin 360054 -> 0 bytes
 2 files changed, 17 deletions(-)
 delete mode 100755 dev/nsis/coq_splash.bmp

(limited to 'dev/nsis')

diff --git a/dev/nsis/coq.nsi b/dev/nsis/coq.nsi
index fe43f7a4b0..1f598a88d3 100755
--- a/dev/nsis/coq.nsi
+++ b/dev/nsis/coq.nsi
@@ -76,23 +76,6 @@ Function .onVerifyInstDir
   done:
 FunctionEnd
 
-;--------------------------------
-;Data
-  
-Function .onInit
-  SetOutPath $TEMP
-  File /oname=coq_splash.bmp "coq_splash.bmp"
-	InitPluginsDir
-
-  advsplash::show 1000 600 400 -1 $TEMP\coq_splash
-
-  Pop $0 ; $0 has '1' if the user closed the splash screen early,
-         ; '0' if everything closed normal, and '-1' if some error occured.
-
-  Delete $TEMP\coq_splash.bmp
-FunctionEnd
-
-
 ;--------------------------------
 ;Installer Sections
 
diff --git a/dev/nsis/coq_splash.bmp b/dev/nsis/coq_splash.bmp
deleted file mode 100755
index c80220476c..0000000000
Binary files a/dev/nsis/coq_splash.bmp and /dev/null differ
-- 
cgit v1.2.3