matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi
matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi
matitacLib.cmo: matitamakeLib.cmi matitaMisc.cmi matitaInit.cmi \
matitaExcPp.cmi matitaEngine.cmi buildTimeConf.cmi matitacLib.cmi
matitacLib.cmx: matitamakeLib.cmx matitaMisc.cmx matitaInit.cmx \
matitaExcPp.cmx matitaEngine.cmx buildTimeConf.cmx matitacLib.cmi
matitaclean.cmo: matitaMisc.cmi matitaInit.cmi matitaclean.cmi
matitaclean.cmx: matitaMisc.cmx matitaInit.cmx matitaclean.cmi
matitacLib.cmo: matitamakeLib.cmi matitaMisc.cmi matitaInit.cmi \
matitaExcPp.cmi matitaEngine.cmi buildTimeConf.cmi matitacLib.cmi
matitacLib.cmx: matitamakeLib.cmx matitaMisc.cmx matitaInit.cmx \
matitaExcPp.cmx matitaEngine.cmx buildTimeConf.cmx matitacLib.cmi