More bugfixes in matitaFilesystem.ml

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

diff --git a/matitaB/matita/matitaFilesystem.ml b/matitaB/matita/matitaFilesystem.ml
index 346598743784366c693010e0fd01743517af01ba..0170030a5e75be4829d2e83a5825eb8898f0fe19 100644 (file)
--- 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