From 2009de9267f83e2914d91f6321b86a84a95d4adc Mon Sep 17 00:00:00 2001
From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 22 Jun 2011 09:37:31 +0000
Subject: [PATCH] Bugfix in matitaweb viewlib.

---
 matitaB/matita/matitaFilesystem.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/matitaB/matita/matitaFilesystem.ml b/matitaB/matita/matitaFilesystem.ml
index a92c87a80..32609b883 100644
--- 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 -> 
-- 
2.39.2