- boxPp: added missing spaces

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

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