]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/matita/library/Makefile
../matitadep -dot
depend.opt:
../matitadep.opt -dot
../matitadep -dot
depend.opt:
../matitadep.opt -dot
+
+%.mo:
+ ../matitac $*.ma
+%.mo.opt:
+ ../matitac.opt $*.ma