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

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 73cf367a910eec19dac55ee328ed4b25d2159941..5721ad9545cb4aecf61a6164cd2f999a98df2f7d 100644 (file)
--- 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 eb0c5787d3e0fbaac1d4a01907013385bb12e6b1..c24e94d4477b1cf7559af331a87dfcd02c26039c 100644 (file)
--- 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