X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FMakefile;h=6fdc32c44de4ec0d335e07a6a0d8a9741ace44f5;hp=cb3deebf664f0ffe5facc56325c2703559ab37b1;hb=4d232392091ee233afc26ecf3120dd5f5c6a33c8;hpb=da0775e27b362e91ea1453a800bc403781cc2ca3

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/Makefile b/matita/matita/contribs/lambdadelta/bin/recomm/Makefile
index cb3deebf6..6fdc32c44 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/Makefile
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/Makefile
@@ -15,7 +15,7 @@ MRCS = $(wildcard *.mrc)
 mrc: $(MRCS:%.mrc=recommGc%.ml)
 	@./mrc.native .
 
-recommGc%.ml recommGc%.mli: %.mrc mrc.ml
+recommGc%.ml recommGc%.mli: %.mrc mrc*.ml mrc*.mli
 	@./mrc.native $<
 
 .PHONY: test mrc