...

[helm.git] / helm / software / matita / contribs / CoRN-Procedural / Makefile

diff --git a/helm/software/matita/contribs/CoRN-Procedural/Makefile b/helm/software/matita/contribs/CoRN-Procedural/Makefile
index fad6ecef64b931a7f836806e266ae614f675de68..9336c874e17b09d821ab3f7c915cc72aee3bc64d 100644 (file)
--- 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 clean.ma
        $(H)$(TRANSCRIPT) -C $(BIN) CoRN