transcript: bug fix in the generation of axioms

[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 8d82928f2b9cd11537d7eeb931101ef34d0fcde3..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: CoRN.conf.xml
+mma: CoRN.conf.xml clean.ma
        $(H)$(TRANSCRIPT) -C $(BIN) CoRN