@echo " INSTALL matita"
$(H)tar -C $(HELENADIR) -cjf $(DOWNDIR)/grundlagen_2.tar.bz2 $(MATITA)
-install-1: $(HOME)/coq/ld_731/contrib/lambdadelta.tar.gz
+install-1: etc/coq/ld_731/contrib/lambdadelta.tar.gz
@echo " INSTALL $<"
$(H)scp $< $(DOWNDIR)/lambdadelta_1.tar.gz