...

[helm.git] / helm / software / matita / library / Makefile

diff --git a/helm/software/matita/library/Makefile b/helm/software/matita/library/Makefile
index cce033fc015504202a5431ad04b60426d5431dbd..33368a32d4bb8dc198e4fbdb395326faa49438c6 100644 (file)
--- 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