X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FMakefile;h=e9008a950c30a13b68e2dba934c0aa5991b00610;hp=938529c637d5a0a491deb549368e6de3d174e548;hb=3c6ff3987c3cc5e2df03fb76d07697c28c89c0a8;hpb=dc20d16b32940a94d29a04de0d4fe1f80e00a73f

diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile
index 938529c63..e9008a950 100644
--- a/helm/www/lambdadelta/Makefile
+++ b/helm/www/lambdadelta/Makefile
@@ -1,6 +1,6 @@
 H=@
 
-TAGS = www up-html \
+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 \
@@ -162,11 +162,19 @@ install-v: $(HELENADIR)/$(COQ)
 	$(H)scp $< $(DOWNDIR)
 
 up-html:
-	@echo "  UPDATE $(RHOMEDIR)/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"
+	@echo "  UPDATE $(RHOMEDIR)/download/"
 	$(H)scp -q -r download $(RHOMEDIR)
 
 %.ld: