From 0bb8b410ce6fd5f7d55b14d29453c2ec429a6a97 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 28 Nov 2008 11:33:39 +0000 Subject: [PATCH] ... --- helm/software/matita/.depend.opt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/software/matita/.depend.opt b/helm/software/matita/.depend.opt index 386bd0727..fba73dec0 100644 --- a/helm/software/matita/.depend.opt +++ b/helm/software/matita/.depend.opt @@ -51,10 +51,10 @@ matita.cmx: matitaTypes.cmx matitaScript.cmx matitaMathView.cmx \ matitaInit.cmx matitaGui.cmx matitaGtkMisc.cmx matitaAutoGui.cmx \ buildTimeConf.cmx applyTransformation.cmx matitaScript.cmo: matitacLib.cmi matitaTypes.cmi matitaMisc.cmi \ - matitaGtkMisc.cmi matitaExcPp.cmi matitaEngine.cmi buildTimeConf.cmx \ + matitaGtkMisc.cmi matitaEngine.cmi buildTimeConf.cmx \ applyTransformation.cmi matitaScript.cmi matitaScript.cmx: matitacLib.cmx matitaTypes.cmx matitaMisc.cmx \ - matitaGtkMisc.cmx matitaExcPp.cmx matitaEngine.cmx buildTimeConf.cmx \ + matitaGtkMisc.cmx matitaEngine.cmx buildTimeConf.cmx \ applyTransformation.cmx matitaScript.cmi matitaTypes.cmo: matitaTypes.cmi matitaTypes.cmx: matitaTypes.cmi -- 2.39.2