X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FRELATIONAL%2Fmakefile;h=e5ac91fc8028e672d12df81f4aca5966d85bb718;hb=82d0bc4291648c88e9f248fc5a67518e938eacdf;hp=60f15b469226c7a9bbebe39b400f061a770c1959;hpb=2caabc2c2021d86911f8df8ee92d230c5e4e0389;p=helm.git

diff --git a/helm/software/matita/contribs/RELATIONAL/makefile b/helm/software/matita/contribs/RELATIONAL/makefile
index 60f15b469..e5ac91fc8 100644
--- a/helm/software/matita/contribs/RELATIONAL/makefile
+++ b/helm/software/matita/contribs/RELATIONAL/makefile
@@ -30,7 +30,7 @@ cleanall.opt: preall.opt
 %.mo: preall
 	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) $@
 %.mo.opt: preall.opt
-	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) $@
+	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) $(@:.opt=)
 	
 preall:
 	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) init $(devel)