(* $Id: geoPs.ml,v 1.1 2003/09/08 12:28:06 gmariano Exp $ *) (* Module pour la génération de postscript à partir du XML *) (* la variable "sources" doit être encapsulée *) let make_postcript sources = let channel = open_out ((!sources)^".xml") in output_string channel Xml.version; (* output_string channel Xml.doctype; *) Xmlexpansed.open_balise "figure" "" channel; Geom.write_figure2 Geom.my_figure channel; Xmlexpansed.close_balise "figure" channel; close_out channel; (*MG Sys.command ("./postcript.sh "^(!sources)^".xml") ; *) let s1 = "./postcript.sh "^(!sources)^".xml" in GeoSystem.call s1 ;()