-domMisc.cmo: domMisc.cmi
-domMisc.cmx: domMisc.cmi
-xml2Gdome.cmo: xml2Gdome.cmi
-xml2Gdome.cmx: xml2Gdome.cmi
+domMisc.cmi :
+xml2Gdome.cmi :
+domMisc.cmo : domMisc.cmi
+domMisc.cmx : domMisc.cmi
+xml2Gdome.cmo : xml2Gdome.cmi
+xml2Gdome.cmx : xml2Gdome.cmi