-build_mas:
- $(H)$(MAKE) preamble.mo.opt
- $(H)$(MAKE) -f Makefile
- $(H)$(MAKE) preall.opt
- $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) clean $(devel)
+MATITAC = $(RT_BASEDIR)/matitac.opt
+
+MMAS = $(shell find -name "*.mma")
+MAS = $(MMAS:%.mma=%.ma)
+
+build_mas: preall.opt $(MAS)