]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/xhtbl/xhtbl.ml
- we begin the new site based on ld_web
[helm.git] / helm / www / lambdadelta / bin / xhtbl / xhtbl.ml
index dc4ab9670e94de6a9a7e076f326070f967157666..f379185fafab3a8f4e4ac007a5e4fd59be720934 100644 (file)
@@ -51,9 +51,10 @@ let process_file fname =
    let bname = F.chop_extension (F.basename fname) in
    let ich = open_in fname in
    let lexbuf = Lexing.from_channel ich in
-   let ds = TP.script TL.token lexbuf in
+   let ns, ds = TP.script TL.token lexbuf in
    close_in ich; includes := bname :: !includes;
-   let och = XU.open_out true bname in 
+   let ns = ("", "http://www.w3.org/1999/xhtml") :: ns in
+   let och = XU.open_out bname ns in 
    L.iter (process_directive och bname) ds;
    XU.close_out och