X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FPREDICATIVE-TOPOLOGY%2Fmakefile;h=711fba21cee4b89d9bbf211e1134e4197f623041;hb=21f1fb39b5e1187ef87387f20522e60abe4f7c19;hp=9ef6694eefb15187dc1d2df3cdb6f9dc1f504e43;hpb=4e238c92f66aedf21c2d3a33aa5215cdf0a7189f;p=helm.git

diff --git a/helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/makefile b/helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/makefile
index 9ef6694ee..711fba21c 100644
--- a/helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/makefile
+++ b/helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/makefile
@@ -26,7 +26,7 @@ cleanall.opt: preall
 %.mo: preall
 	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) $@
 %.mo.opt: preall
-	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) $@
+	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) $(@:.opt=)
 	
 preall:
 	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) init $(devel)