matitaMisc.cmi matitaInit.cmi
matitac.cmx: matitadep.cmx matitaclean.cmx matitacLib.cmx matitaWiki.cmx \
matitaMisc.cmx matitaInit.cmx
-matitadep.cmo: matitaInit.cmi matitadep.cmi
-matitadep.cmx: matitaInit.cmx matitadep.cmi
+matitadep.cmo: matitaMisc.cmi matitaInit.cmi matitadep.cmi
+matitadep.cmx: matitaMisc.cmx matitaInit.cmx matitadep.cmi
matitaEngine.cmo: matitaEngine.cmi
matitaEngine.cmx: matitaEngine.cmi
matitaExcPp.cmo: matitaEngine.cmi matitaExcPp.cmi
matitaGui.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \
matitaMathView.cmx matitaGtkMisc.cmx matitaGeneratedGui.cmx \
matitaExcPp.cmx matitaAutoGui.cmx buildTimeConf.cmx matitaGui.cmi
-matitaInit.cmo: matitacLib.cmi matitaExcPp.cmi matitaEngine.cmi \
- buildTimeConf.cmx matitaInit.cmi
-matitaInit.cmx: matitacLib.cmx matitaExcPp.cmx matitaEngine.cmx \
- buildTimeConf.cmx matitaInit.cmi
+matitaInit.cmo: matitacLib.cmi matitaExcPp.cmi buildTimeConf.cmx \
+ matitaInit.cmi
+matitaInit.cmx: matitacLib.cmx matitaExcPp.cmx buildTimeConf.cmx \
+ matitaInit.cmi
matitaMathView.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \
matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi lablGraphviz.cmi \
buildTimeConf.cmx applyTransformation.cmi matitaMathView.cmi