From: Enrico Tassi 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