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