From f508a0d1a9202186ec9b913ce1ddc6861918ad64 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 11 Jul 2005 14:36:05 +0000
Subject: [PATCH] default USER_HOME to pwd

---
 helm/matita/configure.ac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/matita/configure.ac b/helm/matita/configure.ac
index 293d8a767..a530cae56 100644
--- a/helm/matita/configure.ac
+++ b/helm/matita/configure.ac
@@ -90,7 +90,7 @@ if test "$DEBUG" = "true"; then
 fi
 
 RT_BASE_DIR=`pwd`
-USER_HOME=`echo $HOME`
+USER_HOME=`pwd` #should be `echo $HOME`
 USER_NAME=`echo $USER`
 
 AC_SUBST(CAMLP4O)
-- 
2.39.2