From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 22 Jun 2011 15:23:55 +0000 (+0000)
Subject: Fix to matitaweb library dialog box.
X-Git-Tag: make_still_working~2398
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=33b158ac16dd1ab2b69fdf36092d66ecbc2a75ed;p=helm.git

Fix to matitaweb library dialog box.
---

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