From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 4 Jul 2005 08:49:24 +0000 (+0000)
Subject: matitaclean now call getter.ls using a buri with a trailing /
X-Git-Tag: PRE_GETTER_STORAGE~26
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d2dd6522d73a234265bc4e9f973f975e351a993a;p=helm.git

matitaclean now call getter.ls using a buri with a trailing /
---

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 73cf367a9..5721ad954 100644
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -43,13 +43,13 @@ $(DEPEND_NAME): $(SRC) $(LINKS)
 
 # Let's prepare the environment
 .matita:
-	@ln -s ../.matita .
+	@ln -fs ../.matita .
 
 matita.lang:
-	@ln -s ../matita.lang .
+	@ln -fs ../matita.lang .
 
 matita.conf.xml:
-	@ln -s ../matita.conf.xml .
+	@ln -fs ../matita.conf.xml .
 #done
 
 include $(DEPEND_NAME)
diff --git a/helm/matita/matitaclean.ml b/helm/matita/matitaclean.ml
index eb0c5787d..c24e94d44 100644
--- a/helm/matita/matitaclean.ml
+++ b/helm/matita/matitaclean.ml
@@ -70,7 +70,7 @@ let close_uri_list uri_to_remove =
   let uri_to_remove = 
     List.fold_left 
       (fun acc buri ->
-        let inhabitants = HG.ls buri in
+        let inhabitants = HG.ls (buri ^ "/") in
         let inhabitants = List.filter 
             (function HGT.Ls_object _ -> true | _ -> false) 
           inhabitants