From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Tue, 21 Jun 2011 15:31:11 +0000 (+0000)
Subject: More bugfixes in matitaFilesystem.ml
X-Git-Tag: make_still_working~2421
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=563dafd0155ff31215d3f7b813379fa6d50404f1;p=helm.git

More bugfixes in matitaFilesystem.ml
---

diff --git a/matitaB/matita/matitaFilesystem.ml b/matitaB/matita/matitaFilesystem.ml
index 346598743..0170030a5 100644
--- a/matitaB/matita/matitaFilesystem.ml
+++ b/matitaB/matita/matitaFilesystem.ml
@@ -77,12 +77,12 @@ let html_of_library uid =
 
   let rec aux path =
     let dirlist = Array.to_list (Sys.readdir path) in
-    let subdirs = List.filter Sys.is_directory dirlist in
+    let subdirs = List.filter (fun x -> Sys.is_directory (path ^ "/" ^ x)) dirlist in
     let scripts = 
       List.filter (fun x -> 
         try
           let i = String.rindex x '.' in
-          not (Sys.is_directory x) && (String.sub x i 3 = ".ma")
+          not (Sys.is_directory (path ^ "/" ^ x)) && (String.sub x i 3 = ".ma")
         with Not_found | Invalid_argument _ -> false) dirlist in
     let subdirtags = 
       String.concat "\n" (List.map (fun x -> aux (path ^ "/" ^ x)) subdirs) in