Show library test 1.

[helm.git] / matitaB / matita / matitadaemon.ml
diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml

index 72211bf5fcf29d5e5a12432a3b4520545dee5b36..cd7d71dc94033e42ef3cb255213143c4c7102531 100644 (file)
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -417,11 +417,13 @@ let viewLib (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
      
      let html = MatitaFilesystem.html_of_library uid in
      cgi#out_channel#output_string
-      ("<html><head>\n" ^
+      ((*
+       "<html><head>\n" ^
         "<title>XML Tree Control</title>\n" ^
         "<link href=\"treeview/xmlTree.css\" type=\"text/css\" rel=\"stylesheet\">\n" ^
         "<script src=\"treeview/xmlTree.js\" type=\"text/javascript\"></script>\n" ^
-       "<body>\n" ^ html ^ "\n</body></html>");
+       "<body>\n" ^ *)
+       html (* ^ "\n</body></html>" *) );
    cgi#out_channel#commit_work()
    
  ;;