From 33b158ac16dd1ab2b69fdf36092d66ecbc2a75ed Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Wed, 22 Jun 2011 15:23:55 +0000 Subject: [PATCH] Fix to matitaweb library dialog box. --- matitaB/matita/matitaFilesystem.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matitaB/matita/matitaFilesystem.ml b/matitaB/matita/matitaFilesystem.ml index 798f7f67d..4abdf6c28 100644 --- a/matitaB/matita/matitaFilesystem.ml +++ b/matitaB/matita/matitaFilesystem.ml @@ -99,7 +99,7 @@ let html_of_library uid = String.concat "\n" (List.map (fun x -> aux (lpath x)) subdirs) in let scripttags = String.concat "\n" - (List.map (fun x -> leaf (gpath x)) scripts) + (List.map (fun x -> leaf (lpath x)) scripts) in branch path (subdirtags ^ "\n" ^ scripttags) in -- 2.39.2