Matitaweb viewlib, part II.

[helm.git] / matitaB / matita / matitaFilesystem.ml

diff --git a/matitaB/matita/matitaFilesystem.ml b/matitaB/matita/matitaFilesystem.ml
index 0170030a5e75be4829d2e83a5825eb8898f0fe19..a92c87a8096a9c50ccc160027b28b716027acb66 100644 (file)
--- a/matitaB/matita/matitaFilesystem.ml
+++ b/matitaB/matita/matitaFilesystem.ml
@@ -93,7 +93,7 @@ let html_of_library uid =
     branch (Filename.basename path) (subdirtags ^ "\n" ^ scripttags)
   in
 
-  let basedir = (Helm_registry.get "matita.rt_base_dir") ^ "/users/" ^ uid ^ "/" in
+  let basedir = (Helm_registry.get "matita.rt_base_dir") ^ "/users/" ^ uid in
   let res = aux basedir in
   prerr_endline "BEGIN TREE";prerr_endline res;prerr_endline "END TREE";
   res