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