clean: $(LINKS)
@rm -f $(SRC:%.ma=%.moo)
- @$(MATITACLEAN) all
+ @$(MATITACLEAN) $(SRC)
+
+cleanall: $(LINKS)
+ @rm -f $(SRC:%.ma=%.moo)
+ $(MATITACLEAN) all
depend: $(DEPEND_NAME)
+.PHONY: depend
%.moo:%.ma $(DEPEND_NAME) $(LINKS)
@[ ! -e $@ ] || $(MATITACLEAN) $<
# Let's prepare the environment
.matita:
- @ln -s ../.matita .
+ @ln -fs ../.matita .
matita.lang:
- @ln -s ../matita.lang .
+ @ln -fs ../matita.lang .
matita.conf.xml:
- @ln -s ../matita.conf.xml .
+ @ln -fs ../matita.conf.xml .
#done
include $(DEPEND_NAME)