From 29965ec92dc37d77ff5a6e82486cf558370ace45 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 27 Sep 2006 09:19:47 +0000 Subject: [PATCH] rebuilt --- matita/.depend | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/matita/.depend b/matita/.depend index 8b64721da..8dd26ce54 100644 --- a/matita/.depend +++ b/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 \ -- 2.39.2