-matitaGui.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi matitaLog.cmi \
- matitaGtkMisc.cmi matitaGeneratedGui.cmi matitaExcPp.cmi \
- buildTimeConf.cmo matitaGui.cmi
-matitaGui.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx matitaLog.cmx \
- matitaGtkMisc.cmx matitaGeneratedGui.cmx matitaExcPp.cmx \
- buildTimeConf.cmx matitaGui.cmi
+matitaGui.cmo: matitacleanLib.cmi matitacLib.cmi matitaTypes.cmi \
+ matitaScript.cmi matitaMisc.cmi matitaLog.cmi matitaGtkMisc.cmi \
+ matitaGeneratedGui.cmi matitaExcPp.cmi buildTimeConf.cmo matitaGui.cmi
+matitaGui.cmx: matitacleanLib.cmx matitacLib.cmx matitaTypes.cmx \
+ matitaScript.cmx matitaMisc.cmx matitaLog.cmx matitaGtkMisc.cmx \
+ matitaGeneratedGui.cmx matitaExcPp.cmx buildTimeConf.cmx matitaGui.cmi