From 1e4ae626ccfadcc2077bb209ef5bdfe25e51eeb6 Mon Sep 17 00:00:00 2001
From: narboux
Date: Sun, 6 Nov 2005 14:56:30 +0000
Subject: coq icon

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7523 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/windows/coq.ico    | Bin 0 -> 4710 bytes
 distrib/windows/coq.nsi.in |  24 ++++++++++++------------
 2 files changed, 12 insertions(+), 12 deletions(-)
 create mode 100755 distrib/windows/coq.ico

diff --git a/distrib/windows/coq.ico b/distrib/windows/coq.ico
new file mode 100755
index 0000000000..bc1732fd99
Binary files /dev/null and b/distrib/windows/coq.ico differ
diff --git a/distrib/windows/coq.nsi.in b/distrib/windows/coq.nsi.in
index e336826ef0..26f5d07e7f 100755
--- a/distrib/windows/coq.nsi.in
+++ b/distrib/windows/coq.nsi.in
@@ -31,9 +31,9 @@
 
 ;Interface Configuration
 
-  !define MUI_HEADERIMAGE
-  !define MUI_HEADERIMAGE_BITMAP "coq_logo.bmp" ; optional
-  !define MUI_ABORTWARNING
+;  !define MUI_HEADERIMAGE
+;  !define MUI_HEADERIMAGE_BITMAP "coq_logo.bmp" ; optional
+;  !define MUI_ABORTWARNING
 
 
 ;--------------------------------
@@ -67,18 +67,18 @@
 ;--------------------------------
 ;Data
   
-Function .onInit
-  SetOutPath $TEMP
-  File /oname=coq_splash.bmp "coq_splash.bmp"
-	InitPluginsDir
+;Function .onInit
+;  SetOutPath $TEMP
+;  File /oname=coq_splash.bmp "coq_splash.bmp"
+;	InitPluginsDir;
 
-  advsplash::show 1000 600 400 -1 $TEMP\coq_splash
+;  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.
+;  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
+;  Delete $TEMP\coq_splash.bmp
+;FunctionEnd
 
 
 ;--------------------------------
-- 
cgit v1.2.3