From 563dafd0155ff31215d3f7b813379fa6d50404f1 Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Tue, 21 Jun 2011 15:31:11 +0000 Subject: [PATCH] More bugfixes in matitaFilesystem.ml --- matitaB/matita/matitaFilesystem.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2