xmlDiff.cmi :
xmlDiff.cmo : xmlDiff.cmi
xmlDiff.cmx : xmlDiff.cmi