matitaEngine.cmx: matitacleanLib.cmx matitaTypes.cmx matitaSync.cmx \
matitaMoo.cmx matitaMisc.cmx matitaLog.cmx matitaDisambiguator.cmx \
matitaDb.cmx matitaEngine.cmi
-matitaExcPp.cmo: matitaTypes.cmi matitaMoo.cmi matitaExcPp.cmi
-matitaExcPp.cmx: matitaTypes.cmx matitaMoo.cmx matitaExcPp.cmi
+matitaExcPp.cmo: matitaTypes.cmi matitaMoo.cmi matitaDisambiguator.cmi \
+ matitaExcPp.cmi
+matitaExcPp.cmx: matitaTypes.cmx matitaMoo.cmx matitaDisambiguator.cmx \
+ matitaExcPp.cmi
matitaGeneratedGui.cmo: matitaGeneratedGui.cmi
matitaGeneratedGui.cmx: matitaGeneratedGui.cmi
matitaGtkMisc.cmo: matitaTypes.cmi matitaGeneratedGui.cmi matitaGtkMisc.cmi