From 16b629a975becaa20f1fa5384bbcf2506e0e7dca Mon Sep 17 00:00:00 2001
From: narboux
Date: Tue, 8 Nov 2005 17:55:21 +0000
Subject: set home

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7540 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/windows/coq.nsi | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/distrib/windows/coq.nsi b/distrib/windows/coq.nsi
index 46a1c1c51a..8e364d91a6 100755
--- a/distrib/windows/coq.nsi
+++ b/distrib/windows/coq.nsi
@@ -82,6 +82,7 @@
 ;Installer Sections
 
 SetCompress off
+; Comment out after debuging.
 
 Section "Coq" Sec1
 
@@ -93,7 +94,7 @@ Section "Coq" Sec1
   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"
+  FileWrite $0 "set HOME=%HOMEPATH%$\r$\n"
   FileWrite $0 "bin\coqtop.opt.exe" 
   FileClose $0
 
@@ -163,6 +164,7 @@ Section "CoqIde" Sec2
   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=%HOMEPATH%$\r$\n"
   FileWrite $0 "bin\coqide.opt.exe" 
   FileClose $0
 
-- 
cgit v1.2.3