X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FCoRN-Procedural%2FMakefile;fp=helm%2Fsoftware%2Fmatita%2Fcontribs%2FCoRN-Procedural%2FMakefile;h=9336c874e17b09d821ab3f7c915cc72aee3bc64d;hb=f919cce8d299eab1dda92af4c5b53a8a7ac348af;hp=8d82928f2b9cd11537d7eeb931101ef34d0fcde3;hpb=e5b2195dc02c05040bbf6ef677e9a22a6b73fec8;p=helm.git

diff --git a/helm/software/matita/contribs/CoRN-Procedural/Makefile b/helm/software/matita/contribs/CoRN-Procedural/Makefile
index 8d82928f2..9336c874e 100644
--- a/helm/software/matita/contribs/CoRN-Procedural/Makefile
+++ b/helm/software/matita/contribs/CoRN-Procedural/Makefile
@@ -39,5 +39,5 @@ clean.ma:
 	$(H)echo no files to clean
 endif
 
-mma: CoRN.conf.xml
+mma: CoRN.conf.xml clean.ma
 	$(H)$(TRANSCRIPT) -C $(BIN) CoRN