X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2Fxhtbl.ml;h=6c5f8b01fc762b8700b906ead796a7ae09360cbb;hb=7f1b4a69c5a262a6d4b68922fe4cb9e7c931f4d4;hp=cf4d818b6e919263d6d4c44fc164fd605b1810ae;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git
diff --git a/helm/www/lambdadelta/bin/xhtbl/xhtbl.ml b/helm/www/lambdadelta/bin/xhtbl/xhtbl.ml
index cf4d818b6..6c5f8b01f 100644
--- a/helm/www/lambdadelta/bin/xhtbl/xhtbl.ml
+++ b/helm/www/lambdadelta/bin/xhtbl/xhtbl.ml
@@ -12,26 +12,25 @@ module P3 = Pass3
module M = Matrix
module XU = XmlUnparser
-let help = ""
-let help_L = ""
-let help_O = ""
-let help_X = ""
-let help_d0 = ""
-let help_d1 = ""
-let help_d2 = ""
-let help_e1 = ""
-let help_e2 = ""
-let help_p0 = ""
-let help_p1 = ""
-let help_p2 = ""
+let help = "Usage: xhtbl [ -LX | -O
| -d0 | -d1 | -d2 | -e1 | -e2 | -p0 | -p1 | -p2 | ]*"
+let help_L = " Output lexer tokens"
+let help_O = " Set this output directory"
+let help_X = " Clear all options"
+let help_b = " Set this base uri for relative links"
+let help_d0 = " Output table contents after phase zero (parsing)"
+let help_d1 = " Output table contents after phase one (sizing)"
+let help_d2 = " Output table contents after phase two (filling)"
+let help_e1 = " Disabled"
+let help_e2 = " Output debug information during phase two (filling)"
+let help_p0 = " Process until phase zero (parsing)"
+let help_p1 = " Process until phase one (sizing)"
+let help_p2 = " Process until phase two (filling)"
let hook = "xhtbl"
let includes, tables = ref [], ref []
-let set_output_dir s = O.output_dir := s
-
-let process_directive och bname (name, table, css) =
+let process_directive och bname (name, table, css, uri, ext) =
tables := name :: !tables;
if !O.d0 then TU.debug table;
if not !O.p0 then begin
@@ -41,7 +40,7 @@ let process_directive och bname (name, table, css) =
let matrix = M.make size in
let _ = P2.process table matrix in
if !O.d2 then TU.debug table;
- if not !O.p2 then P3.process css matrix;
+ if not !O.p2 then P3.process css uri ext matrix;
let name = if name = "" then bname else name in
XU.output och name matrix
end
@@ -51,17 +50,19 @@ 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
let main () =
A.parse [
"-L", A.Set O.debug_lexer, help_L;
- "-O", A.String set_output_dir, help_O;
+ "-O", A.String ((:=) O.output_dir), help_O;
"-X", A.Unit O.clear, help_X;
+ "-b", A.String ((:=) O.baseuri), help_b;
"-d0", A.Set O.d0, help_d0;
"-d1", A.Set O.d1, help_d1;
"-d2", A.Set O.d2, help_d2;