+install-automath: $(HELENADIR)/$(AUTOMATH)
+ @echo " INSTALL $(notdir $<)"
+ $(H)scp $< $(DOWNDIR)
+
+install-matita: $(MATITA:%=$(HELENADIR)/%)
+ @echo " INSTALL matita"
+ $(H)tar -C $(HELENADIR) -cjf $(DOWNDIR)/grundlagen_2.tar.bz2 $(MATITA)
+
+install-1: etc/coq/ld_731/contrib/lambdadelta.tar.gz
+ @echo " INSTALL $<"
+ $(H)scp $< $(DOWNDIR)/lambdadelta_1.tar.gz
+
+install-coq:
+ @echo " INSTALL coq"
+ $(H)ssh $(REMOTE) "cd $(RSTATICDIR)/coq && tar -xjf ../../../lambdadelta/download/lambdadelta_1A.tar.bz2 && . ../../../lambdadelta/etc/to_text.sh v"
+
+install-v: $(HELENADIR)/$(COQ)
+ @echo " INSTALL $(notdir $<)"
+ $(H)scp $< $(DOWNDIR)
+
+up-html:
+ @echo " UPDATE $(RHOMEDIR)/html/"
+ $(H)scp -q -r html $(RHOMEDIR)
+
+up-css:
+ @echo " UPDATE $(RHOMEDIR)/css/"
+ $(H)scp -q -r css $(RHOMEDIR)
+
+up-images:
+ @echo " UPDATE $(RHOMEDIR)/images/"
+ $(H)scp -q -r images $(RHOMEDIR)
+
+up-download:
+ @echo " UPDATE $(RHOMEDIR)/download/"
+ $(H)scp -q -r download $(RHOMEDIR)