X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2FMakefile;h=33368a32d4bb8dc198e4fbdb395326faa49438c6;hb=1439ced76cb62f9c5f5e638c53a005c3843870ae;hp=799841d7098bf883892f2304ef3f60b5ac0bd98d;hpb=1a28cedd1ef1a9ef608dce25b058c6e2e82c34c3;p=helm.git

diff --git a/helm/software/matita/library/Makefile b/helm/software/matita/library/Makefile
index 799841d70..33368a32d 100644
--- a/helm/software/matita/library/Makefile
+++ b/helm/software/matita/library/Makefile
@@ -12,3 +12,8 @@ depend:
 	../matitadep -dot
 depend.opt:
 	../matitadep.opt -dot
+
+%.mo: 
+	../matitac $*.ma
+%.mo.opt: 
+	../matitac.opt $*.ma