X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FCoRN-Decl%2Fmakefile;h=e5ac91fc8028e672d12df81f4aca5966d85bb718;hb=5ede839a0cf3339568202750b4aae85ccc63fcb0;hp=60f15b469226c7a9bbebe39b400f061a770c1959;hpb=3199f2a8428b5d19a3a803c1b03d9f90e4120f74;p=helm.git

diff --git a/helm/software/matita/contribs/CoRN-Decl/makefile b/helm/software/matita/contribs/CoRN-Decl/makefile
index 60f15b469..e5ac91fc8 100644
--- a/helm/software/matita/contribs/CoRN-Decl/makefile
+++ b/helm/software/matita/contribs/CoRN-Decl/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)