-matitaclean.cmo: matitacleanLib.cmi matitaMisc.cmi matitaLog.cmi matitaDb.cmi \
- buildTimeConf.cmo
-matitaclean.cmx: matitacleanLib.cmx matitaMisc.cmx matitaLog.cmx matitaDb.cmx \
- buildTimeConf.cmx
-matitacLib.cmo: matitacleanLib.cmi matitaTypes.cmi matitaMisc.cmi \
- matitaLog.cmi matitaExcPp.cmi matitaEngine.cmi matitaDb.cmi \
- buildTimeConf.cmo matitacLib.cmi
-matitacLib.cmx: matitacleanLib.cmx matitaTypes.cmx matitaMisc.cmx \
- matitaLog.cmx matitaExcPp.cmx matitaEngine.cmx matitaDb.cmx \
- buildTimeConf.cmx matitacLib.cmi
+matitaclean.cmo: matitacleanLib.cmi matitaMisc.cmi matitaLog.cmi \
+ matitaInit.cmi matitaDb.cmi
+matitaclean.cmx: matitacleanLib.cmx matitaMisc.cmx matitaLog.cmx \
+ matitaInit.cmx matitaDb.cmx
+matitacLib.cmo: matitacleanLib.cmi matitaTypes.cmi matitaMoo.cmi \
+ matitaMisc.cmi matitaLog.cmi matitaInit.cmi matitaExcPp.cmi \
+ matitaEngine.cmi matitaDb.cmi buildTimeConf.cmo matitacLib.cmi
+matitacLib.cmx: matitacleanLib.cmx matitaTypes.cmx matitaMoo.cmx \
+ matitaMisc.cmx matitaLog.cmx matitaInit.cmx matitaExcPp.cmx \
+ matitaEngine.cmx matitaDb.cmx buildTimeConf.cmx matitacLib.cmi