-matitaMisc.cmo: matitaTypes.cmi matitaLog.cmi matitaExcPp.cmi \
- buildTimeConf.cmo matitaMisc.cmi
-matitaMisc.cmx: matitaTypes.cmx matitaLog.cmx matitaExcPp.cmx \
- buildTimeConf.cmx matitaMisc.cmi
-matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
- matitaMathView.cmi matitaLog.cmi matitaInit.cmi matitaGui.cmi \
- matitaGtkMisc.cmi matitaEngine.cmi buildTimeConf.cmo
-matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
- matitaMathView.cmx matitaLog.cmx matitaInit.cmx matitaGui.cmx \
- matitaGtkMisc.cmx matitaEngine.cmx buildTimeConf.cmx
+matitaMisc.cmo: matitaTypes.cmi buildTimeConf.cmo matitaMisc.cmi
+matitaMisc.cmx: matitaTypes.cmx buildTimeConf.cmx matitaMisc.cmi
+matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMathView.cmi matitaLog.cmi \
+ matitaInit.cmi matitaGui.cmi matitaGtkMisc.cmi matitaEngine.cmi \
+ buildTimeConf.cmo
+matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMathView.cmx matitaLog.cmx \
+ matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx matitaEngine.cmx \
+ buildTimeConf.cmx