nat.ma \
Z.ma
-MATITAC=../matitac
+MATITAC=../scripts/do_tests.sh ../matitac /dev/null
+VERBOSEMATITAC=../matitac
DEPEND_NAME=.depend
LINKS=.matita matita.lang matita.conf.xml
all: $(LINKS) $(SRC:%.ma=%.moo)
+verbose:
+ make MATITAC=$(VERBOSEMATITAC) all
+
clean: $(LINKS)
rm -f $(SRC:%.ma=%.moo)
../matitaclean all