Bugfix in matitaweb viewlib.

[helm.git] / matitaB / matita / matitaFilesystem.ml

diff --git a/matitaB/matita/matitaFilesystem.ml b/matitaB/matita/matitaFilesystem.ml
index a92c87a8096a9c50ccc160027b28b716027acb66..32609b883594ddee926876b7d39dc86484883ef0 100644 (file)
--- a/matitaB/matita/matitaFilesystem.ml
+++ b/matitaB/matita/matitaFilesystem.ml
@@ -64,7 +64,7 @@ let html_of_library uid =
 
   let branch text acc =
     let id = newid () in
-    "<span class=\"trigger\" onClick=\"showBranch(" ^ id ^ ")\">\n" ^
+    "<span class=\"trigger\" onClick=\"showBranch('" ^ id ^ "')\">\n" ^
     "<img src=\"treeview/closed.gif\" id=\"I" ^ id ^ "\"/>\n" ^
     text ^ "<br/></span>\n" ^
     "<span class=\"branch\" id=\"" ^ id ^ "\">\n" ^
@@ -76,7 +76,8 @@ let html_of_library uid =
   in
 
   let rec aux path =
-    let dirlist = Array.to_list (Sys.readdir path) in
+    let dirlist = 
+      List.filter (fun x -> String.sub x 0 1 = ".") (Array.to_list (Sys.readdir path)) in
     let subdirs = List.filter (fun x -> Sys.is_directory (path ^ "/" ^ x)) dirlist in
     let scripts = 
       List.filter (fun x ->