diff options
| author | narboux | 2005-11-08 17:36:17 +0000 |
|---|---|---|
| committer | narboux | 2005-11-08 17:36:17 +0000 |
| commit | 326ac5fb06807fa0ce7ee28936f73ffe4fcb24a1 (patch) | |
| tree | aaf518aba8cc1584f6d4bd7939b4bc97487d914b | |
| parent | 4a7555cd875b0921368737deed4a271450277a04 (diff) | |
installer windows
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7539 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rwxr-xr-x | distrib/windows/coq.nsi (renamed from distrib/windows/coq.nsi.in) | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/distrib/windows/coq.nsi.in b/distrib/windows/coq.nsi index b23ac87d23..46a1c1c51a 100755 --- a/distrib/windows/coq.nsi.in +++ b/distrib/windows/coq.nsi @@ -90,7 +90,7 @@ Section "Coq" Sec1 SetOutPath "$INSTDIR\" FileOpen $0 $INSTDIR\Coq.bat w - FileWrite $0 "@echo off$\n" + FileWrite $0 "@echo off$\r$\n" FileWrite $0 "set COQLIB=$INSTDIR\lib$\r$\n" FileWrite $0 "set COQBIN=$INSTDIR\bin$\r$\n" ; FileWrite $0 "set HOME=\n" @@ -160,7 +160,7 @@ Section "CoqIde" Sec2 SetOutPath "$INSTDIR" FileOpen $0 $INSTDIR\Coqide.bat w - FileWrite $0 "@echo off$$\r\n" + FileWrite $0 "@echo off$\r$\n" FileWrite $0 "set COQLIB=$INSTDIR\lib$\r$\n" FileWrite $0 "set COQBIN=$INSTDIR\bin$\r$\n" FileWrite $0 "bin\coqide.opt.exe" |