nat.ma \
Z.ma
+MATITAC=../matitac
+
DEPEND_NAME=.depend
LINKS=.matita matita.lang matita.conf.xml
%.moo:%.ma depend $(LINKS)
[ ! -e $@ ] || ../matitaclean $<
- ../matitac $< || ../matitaclean $<
+ $(MATITAC) $< || ../matitaclean $<
$(DEPEND_NAME): $(SRC) $(LINKS)
../matitadep $(SRC) > $@