-%.moo:%.ma $(LINKS)
- $(H)[ ! -e $@ ] || $(MATITACLEAN) $<
- $(H)$(MATITAC) $< || $(MATITACLEAN) $<
-
-$(DEPEND_NAME): $(SRC) $(LINKS)
- $(H)$(MATITADEP) $(SRC) > $@
-
-# Let's prepare the environment
-.matita:
- $(H)ln -fs ../.matita .
-
-matita.lang:
- $(H)ln -fs ../matita.lang .
-
-matita.conf.xml:
- $(H)ln -fs ../matita.conf.xml .