diff options
| -rwxr-xr-x | distrib/windows/coq.ico | bin | 0 -> 4710 bytes | |||
| -rwxr-xr-x | distrib/windows/coq.nsi.in | 24 |
2 files changed, 12 insertions, 12 deletions
diff --git a/distrib/windows/coq.ico b/distrib/windows/coq.ico Binary files differnew file mode 100755 index 0000000000..bc1732fd99 --- /dev/null +++ b/distrib/windows/coq.ico 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 ;-------------------------------- |