matitadep: we now handle the inline of an uri, we removed the -exclude option

[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..8d82928f2b9cd11537d7eeb931101ef34d0fcde3 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
        $(H)$(TRANSCRIPT) -C $(BIN) CoRN