domMisc.cmi :
xml2Gdome.cmi :
domMisc.cmo : domMisc.cmi
domMisc.cmx : domMisc.cmi
xml2Gdome.cmo : xml2Gdome.cmi
xml2Gdome.cmx : xml2Gdome.cmi