matitac now automatically cleans a non empty baseuri

[helm.git] / helm / matita / .depend

diff --git a/helm/matita/.depend b/helm/matita/.depend
index d057b7b4f4b416dc0a7666d9fdb233264a0c4169..95ab00934a5f8d356c3e5bd214d859cb86406eaa 100644 (file)
--- a/helm/matita/.depend
+++ b/helm/matita/.depend
@@ -60,10 +60,10 @@ matitaclean.cmo: matitacleanLib.cmi matitaMisc.cmi matitaLog.cmi matitaDb.cmi \
     buildTimeConf.cmo 
 matitaclean.cmx: matitacleanLib.cmx matitaMisc.cmx matitaLog.cmx matitaDb.cmx \
     buildTimeConf.cmx 
-matitacleanLib.cmo: matitaSync.cmi matitaMisc.cmi matitaLog.cmi matitaDb.cmi \
-    matitacleanLib.cmi 
-matitacleanLib.cmx: matitaSync.cmx matitaMisc.cmx matitaLog.cmx matitaDb.cmx \
-    matitacleanLib.cmi 
+matitacleanLib.cmo: matitaSync.cmi matitaMisc.cmi matitaLog.cmi \
+    matitaExcPp.cmi matitaDb.cmi matitacleanLib.cmi 
+matitacleanLib.cmx: matitaSync.cmx matitaMisc.cmx matitaLog.cmx \
+    matitaExcPp.cmx matitaDb.cmx matitacleanLib.cmi 
 matitadep.cmo: matitaMisc.cmi matitaLog.cmi matitaExcPp.cmi buildTimeConf.cmo 
 matitadep.cmx: matitaMisc.cmx matitaLog.cmx matitaExcPp.cmx buildTimeConf.cmx 
 matitamake.cmo: matitamakeLib.cmi buildTimeConf.cmo