Fix to matitaweb library dialog box.

diff --git a/matitaB/matita/matitaFilesystem.ml b/matitaB/matita/matitaFilesystem.ml
index 798f7f67d03555ddd4a49d109c47a62d0b7956cd..4abdf6c28a8d56dba1d0d3b19b107786a9371816 100644 (file)
--- 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