]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml
- we begin the new site based on ld_web
[helm.git] / helm / www / lambdadelta / bin / xhtbl / xmlUnparser.ml
index 3583c2f7536e95d045a4dd0776bbf81d4169b8c2..f413aa0ef071632dd034054ea3dcf320386b6b27 100644 (file)
@@ -22,8 +22,12 @@ let border cell =
    if cell.M.cb.T.w then str.[3] <- 's';
    str :: cell.M.cc
 
+let text = function
+   | T.Plain s       -> s
+   | T.Link (uri, s) -> P.sprintf "<a href=\"%s\">%s</a>" uri s
+
 let key cell =
-   if cell.M.ck = [] then "<br/>" else S.concat " " cell.M.ck
+   if cell.M.ck = [] then "<br/>" else S.concat " " (L.map text cell.M.ck)
 
 let ind i = S.make (2 * i) ' '
 
@@ -37,16 +41,20 @@ let out_row och row =
    A.iter (out_cell och) row;
    P.fprintf och "%s</tr>\n" (ind (i+3))
 
+let out_space och (name, uri) =
+   let name = if name = "" then name else ":" ^ name in
+   P.fprintf och "                xmlns%s=\"%s\"\n" name uri
+
 (****************************************************************************)
 
-let open_out html name =
+let open_out name spaces =
    let fname = F.concat !O.output_dir (P.sprintf "%s.xsl" name) in
+   let spaces = ("xsl", "http://www.w3.org/1999/XSL/Transform") :: spaces in
    let och = open_out fname in
    P.fprintf och "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n\n";
    P.fprintf och "<!-- %s -->\n\n" msg;   
    P.fprintf och "<xsl:stylesheet version=\"1.0\"\n";
-   P.fprintf och "                xmlns:xsl=\"http://www.w3.org/1999/XSL/Transform\"\n";
-   if html then P.fprintf och "                xmlns=\"http://www.w3.org/1999/xhtml\"\n";
+   L.iter (out_space och) spaces;
    P.fprintf och ">\n\n";
    och
 
@@ -72,7 +80,7 @@ let map_tbls och name =
    P.fprintf och "%s</xsl:when>\n" (ind (i+2))
 
 let write_hook name incs tbls =
-   let och = open_out false name in
+   let och = open_out name [] in
    L.iter (map_incs och) incs;
    P.fprintf och "\n<xsl:template name=\"%s\">\n" name;
    P.fprintf och "%s<xsl:choose>\n" (ind (i+1));