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