X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2FMakefile;h=33368a32d4bb8dc198e4fbdb395326faa49438c6;hb=20fdd66303330e6209059e90b6a98af71ec29567;hp=cce033fc015504202a5431ad04b60426d5431dbd;hpb=5c1b44dfefa085fbb56e23047652d3650be9d855;p=helm.git

diff --git a/helm/software/matita/library/Makefile b/helm/software/matita/library/Makefile
index cce033fc0..33368a32d 100644
--- a/helm/software/matita/library/Makefile
+++ b/helm/software/matita/library/Makefile
@@ -9,6 +9,11 @@ clean:
 clean.opt:
 	../matitaclean.opt
 depend:
-	../matitadep
+	../matitadep -dot
 depend.opt:
-	../matitadep.opt
+	../matitadep.opt -dot
+
+%.mo: 
+	../matitac $*.ma
+%.mo.opt: 
+	../matitac.opt $*.ma