milestone update in ground_2 and basic_2A

[helm.git] / helm / www / lambdadelta / Makefile

diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile
index 1acebccc52d8f7354264b9d9e7295f06e67c64fa..c654d6abf35928269b8931c6ded5b38c533dcb6b 100644 (file)
--- a/helm/www/lambdadelta/Makefile
+++ b/helm/www/lambdadelta/Makefile
@@ -1,14 +1,14 @@
 SHELL := $(shell which bash)
 H=@
 
-TAGS = up-html up-html-ix up-home html html-ix home ldw ldw-ix
-
 TAGS = www up-html up-css up-images up-download \
        lint-xml index lddl install-xml \
        test-html html install-html \
        install-jed install-bib install-2 install-1 install-coq \
        install-automath install-v install-matita \
 
+TAGS = up-html up-html-ix up-home html html-ix home ldw ldw-ix install-2
+
 LDWEBURL = http://helm.cs.unibo.it/lambdadelta/
 
 SITEDIR    = html
@@ -185,6 +185,15 @@ $(LDWIXSTAMP): $(INDEX)
 
 ldw-ix: $(LDWIXSTAMP)
 
+# INSTALL λδ-2 PACKAGES ######################################################
+
+install-2: PKGS = $(shell find -L $(CONTRIBDIR) -name lambdadelta_*.tar.bz2)
+
+install-2: $(PKGS)
+       @echo "  INSTALL $(PKGS:$(CONTRIBDIR)/lambdadelta_%.tar.bz2=%)"
+       $(H)scp $(PKGS) $(DOWNDIR)
+       $(H)$(RM) $(PKGS)
+
 ##############################################################################
 
 lint-xml: $(XMLS:%=$(XMLDIR)/%)
@@ -221,10 +230,6 @@ install-bib: $(BIB:%=$(BIBDIR)/%)
        $(H)scp $< $(DOWNDIR)
        $(H)scp $< $(DOWNDIR)/$(BIB:%.bib=%.txt)
 
-install-2: $(CONTRIB:%=$(CONTRIBDIR)/%)
-       @echo "  INSTALL $(CONTRIB)"
-       $(H)scp $< $(DOWNDIR)
-
 install-automath: $(HELENADIR)/$(AUTOMATH)
        @echo "  INSTALL $(notdir $<)"
        $(H)scp $< $(DOWNDIR)