From: Stefano Zacchiroli Date: Wed, 27 Sep 2006 09:19:47 +0000 (+0000) Subject: rebuilt X-Git-Tag: make_still_working~6852 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=63c6f144b383c185c133c5732daf1fc25fc0eeed;p=helm.git rebuilt --- diff --git a/helm/software/matita/.depend b/helm/software/matita/.depend index 8b64721da..8dd26ce54 100644 --- a/helm/software/matita/.depend +++ b/helm/software/matita/.depend @@ -40,12 +40,14 @@ matitamakeLib.cmo: buildTimeConf.cmi matitamakeLib.cmi matitamakeLib.cmx: buildTimeConf.cmx matitamakeLib.cmi matitamake.cmo: matitamakeLib.cmi matitaInit.cmi matitamake.cmi matitamake.cmx: matitamakeLib.cmx matitaInit.cmx matitamake.cmi -matitaMathView.cmo: matitaTypes.cmi matitaScript.cmi matitaMisc.cmi \ - matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi lablGraphviz.cmi \ - buildTimeConf.cmi applyTransformation.cmi matitaMathView.cmi -matitaMathView.cmx: matitaTypes.cmx matitaScript.cmx matitaMisc.cmx \ - matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx lablGraphviz.cmx \ - buildTimeConf.cmx applyTransformation.cmx matitaMathView.cmi +matitaMathView.cmo: matitamakeLib.cmi matitaTypes.cmi matitaScript.cmi \ + matitaMisc.cmi matitaGuiTypes.cmi matitaGtkMisc.cmi matitaExcPp.cmi \ + lablGraphviz.cmi buildTimeConf.cmi applyTransformation.cmi \ + matitaMathView.cmi +matitaMathView.cmx: matitamakeLib.cmx matitaTypes.cmx matitaScript.cmx \ + matitaMisc.cmx matitaGuiTypes.cmi matitaGtkMisc.cmx matitaExcPp.cmx \ + lablGraphviz.cmx buildTimeConf.cmx applyTransformation.cmx \ + matitaMathView.cmi matitaMisc.cmo: buildTimeConf.cmi matitaMisc.cmi matitaMisc.cmx: buildTimeConf.cmx matitaMisc.cmi matita.cmo: matitaTypes.cmi matitaScript.cmi matitaMathView.cmi \