web site update

[helm.git] / helm / www / lambdadelta / bin / index / index.ml

diff --git a/helm/www/lambdadelta/bin/index/index.ml b/helm/www/lambdadelta/bin/index/index.ml
index c22e290acd73f9befa4322f511ea591ec16866db..9496cc7d2e806635ba83826f8f06492c96254dac 100644 (file)
--- 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";