94 |
|
|
95 |
|
|
96 |
let write_xml () = |
let write_xml () = |
97 |
let channel = open_out ((!sources)^".xml") in |
let channel = stdout in |
98 |
output_string channel Xml.version; |
output_string channel Xml.version; |
99 |
(*output_string channel Xml.doctype;*) |
(*output_string channel Xml.doctype;*) |
100 |
Xml.open_balise "figure" "" channel; |
Xml.open_balise "figure" "" channel; |
101 |
Geom.write_figure Geom.my_figure channel; |
Geom.write_figure Geom.my_figure channel; |
102 |
Xml.close_balise "figure" channel; |
Xml.close_balise "figure" channel; |
103 |
close_out channel |
close_out channel |
104 |
|
|
105 |
let options_list = |
let options_list = |
106 |
[ |
[ |
107 |
("--hwin", |
("--hwin", |