X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Findex%2Findex.ml;h=9496cc7d2e806635ba83826f8f06492c96254dac;hp=c22e290acd73f9befa4322f511ea591ec16866db;hb=9a0dc83131e9695ffd4254ff5546817ca431d8c2;hpb=7bb7028a9aafcfd5c6570f4ad5ca472f19691bfc

diff --git a/helm/www/lambdadelta/bin/index/index.ml b/helm/www/lambdadelta/bin/index/index.ml
index c22e290ac..9496cc7d2 100644
--- a/helm/www/lambdadelta/bin/index/index.ml
+++ b/helm/www/lambdadelta/bin/index/index.ml
@@ -43,11 +43,11 @@ let out_entry st dname och dirs name =
   | KU.S_REG when KF.check_suffix name i_ext ->
     let base = KF.chop_suffix name i_ext in 
     let oname = concats [st.bd; st.op; dname; base^o_ext] in
-    KP.fprintf och "    <line class=\"global emph\">&#x1F5CF; <rlink to=\"%s\">%s.ld</rlink></line>\n" oname base;
+    KP.fprintf och "    <file class=\"global emph\" type=\"&#x1F5CF;\" to=\"%s\" name=\"%s.ld\"/>\n" oname base;
     dirs
   | KU.S_DIR ->
     let oname = concats [st.bd; st.op; dname; name] in
-    KP.fprintf och "    <line class=\"alpha emph\">&#x1F5C1; <rlink to=\"%s\">%s/</rlink></line>\n" oname name;
+    KP.fprintf och "    <file class=\"alpha emph\" type=\"&#x1F5C1;\" to=\"%s\" name=\"%s/\"/>\n" oname name;
     name :: dirs
   | _        ->
     dirs
@@ -60,7 +60,10 @@ let list_dir st dname och =
   let iname = concats [st.bd; st.ip; dname] in
   let dir = Sys.readdir iname in
   Array.sort String.compare dir;
-  Array.fold_left (out_entry st dname och) [] dir
+  KP.fprintf och "   <index>\n";
+  let dirs = Array.fold_left (out_entry st dname och) [] dir in
+  KP.fprintf och "   </index>\n";
+  dirs
 
 let out_index st dname och =
   KP.fprintf och "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n\n";