X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FCoRN-Procedural%2FMakefile;h=8d82928f2b9cd11537d7eeb931101ef34d0fcde3;hb=32e77480c65cbf23ae7dea38a519c83dfeaf3830;hp=fad6ecef64b931a7f836806e266ae614f675de68;hpb=298868e07163c21863d542136733d24bfbec2482;p=helm.git

diff --git a/helm/software/matita/contribs/CoRN-Procedural/Makefile b/helm/software/matita/contribs/CoRN-Procedural/Makefile
index fad6ecef6..8d82928f2 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: transcript.conf.xml CoRN.conf.xml
+mma: CoRN.conf.xml
 	$(H)$(TRANSCRIPT) -C $(BIN) CoRN