From 5ec2163ce648db25aba87f5208841397fd2e1b1c Mon Sep 17 00:00:00 2001
From: pboutill
Date: Sun, 20 Nov 2011 20:03:06 +0000
Subject: coqrc in the right XDG_CONFIG_HOME/coq folder

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14696 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/system.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/system.ml')

diff --git a/lib/system.ml b/lib/system.ml
index edab244606..7d54e2c3a2 100644
--- a/lib/system.ml
+++ b/lib/system.ml
@@ -33,7 +33,7 @@ let home =
       try Sys.getenv "USERPROFILE" with Not_found ->
 	warning ("Cannot determine user home directory, using '.' .");
 	flush_all ();
-	"."
+	Filename.current_dir_name
 
 let safe_getenv n = safe_getenv_def n ("$"^n)
 
-- 
cgit v1.2.3