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