xml.cmx : \
    xml.cmi
xml.cmi :
xmlPushParser.cmx : \
    xmlPushParser.cmi
xmlPushParser.cmi :