X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FmatitaFilesystem.ml;h=43fb985b984d2f1fda6a4539a5c6b437dacd496c;hb=43c8894e56290dae4bfb93c0361bc396664e1b1f;hp=ffdf9bb0d1f7ca69e7f1d45fc10bcdd97295dafa;hpb=41d5d6bbe0214bac728a708d34ab3e0b4cac86db;p=helm.git
diff --git a/matitaB/matita/matitaFilesystem.ml b/matitaB/matita/matitaFilesystem.ml
index ffdf9bb0d..43fb985b9 100644
--- a/matitaB/matita/matitaFilesystem.ml
+++ b/matitaB/matita/matitaFilesystem.ml
@@ -70,20 +70,20 @@ let html_of_library uid =
let basedir = (Helm_registry.get "matita.rt_base_dir") ^ "/users/" ^ uid in
- let branch text acc =
+ let branch lpath children =
let id = newid () in
- let name = Filename.basename text in
+ let name = Filename.basename lpath in
let name = if name <> "." then name else "cic:/matita" in
- "\n" ^
+ "\n" ^
"\n" ^
name ^ "
\n" ^
"\n" ^
- acc ^ "\n"
+ children ^ "\n"
in
- let leaf text =
+ let leaf lpath =
"\n" ^
- "" ^
- (Filename.basename text) ^ "
"
+ "" ^
+ (Filename.basename lpath) ^ "
"
in
let rec aux path =