X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FmatitaFilesystem.ml;h=49091b2f5428cbd404cfbde0572999c147ea8d6e;hb=f8588c082e2596e91fc66ff8b0c3c850f66c1bfb;hp=798f7f67d03555ddd4a49d109c47a62d0b7956cd;hpb=591276dd79bc28cca316936ca83bec8d00d42c62;p=helm.git

diff --git a/matitaB/matita/matitaFilesystem.ml b/matitaB/matita/matitaFilesystem.ml
index 798f7f67d..49091b2f5 100644
--- a/matitaB/matita/matitaFilesystem.ml
+++ b/matitaB/matita/matitaFilesystem.ml
@@ -99,7 +99,7 @@ let html_of_library uid =
       String.concat "\n" (List.map (fun x -> aux (lpath x)) subdirs) in
     let scripttags =
       String.concat "\n" 
-       (List.map (fun x -> leaf (gpath x)) scripts)
+       (List.map (fun x -> leaf (lpath x)) scripts)
     in
     branch path (subdirtags ^ "\n" ^ scripttags)
   in
@@ -108,3 +108,8 @@ let html_of_library uid =
   prerr_endline "BEGIN TREE";prerr_endline res;prerr_endline "END TREE";
   res
 ;;
+
+let reset_lib () =
+  let to_be_removed = (Helm_registry.get "matita.rt_base_dir") ^ "/users/*" in
+  ignore (Sys.command ("rm -rf " ^ to_be_removed))
+;;