gdome_xslt.cmo: i_gdome_xslt.cmo gdome_xslt.cmi 
gdome_xslt.cmx: i_gdome_xslt.cmx gdome_xslt.cmi 
gdome_xslt_init.cmo: i_gdome_xslt.cmo gdome_xslt_init.cmi 
gdome_xslt_init.cmx: i_gdome_xslt.cmx gdome_xslt_init.cmi 
gdome_xslt.cmi: i_gdome_xslt.cmo