X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2FMakefile;h=173c4d78cf9f7eb2ecc5f9382329feaf6f2e0582;hb=7e2f8faa727b72aeebc6eb5a49ca843dcb50dfe0;hp=34eacbeb84834d408882c819c787b6861ba0b33f;hpb=ae47e671a2e5b1c6498e62e0fd8703cea7ba53b2;p=helm.git

diff --git a/helm/www/lambda_delta/Makefile b/helm/www/lambda_delta/Makefile
index 34eacbeb8..173c4d78c 100644
--- a/helm/www/lambda_delta/Makefile
+++ b/helm/www/lambda_delta/Makefile
@@ -2,7 +2,8 @@ H=@
 
 TAGS = lint-xml index lddl install-xml \
        test-html html install-html \
-       install-jed install-bib
+       install-jed install-bib \
+       up
 
 LDDLURL = http://lambda-delta.info/static/lddl
 
@@ -14,8 +15,10 @@ HTMLDIR  = $(HOME)/public_html/lddl
 JEDDIR   = $(HOME)/mps/jed
 BIBDIR   = $(HOME)/texmf/bibtex/bib
 
-RXMLDIR  = helm:/projects/helm/public_html/lambda_delta/xml
-RHTMLDIR = helm:/projects/helm/public_html/lambda_delta/static/lddl
+REMOTE   = helm.cs.unibo.it
+RDIR     = /projects/helm/public_html/lambda_delta
+RXMLDIR  = $(REMOTE):$(RDIR)/xml
+RHTMLDIR = $(REMOTE):$(RDIR)/static/lddl
 
 SLS = helena.sl automath.sl
 BIB = lambda_delta.bib
@@ -55,7 +58,7 @@ install-xml: $(XMLDIR)/index.txt
 test-html:
 	@$(MAKE) --no-print-directory $(XMLS:%.xml=%)
 
-html: $(ETCDIR)/make-html.sh
+html: $(ETCDIR)/make_html.sh
 	@echo "  MAKE */*.ld"
 	$(H). $<
 
@@ -65,13 +68,17 @@ install-html: $(ETCDIR)/make_html.sh
 
 install-jed: $(SLS:%=$(JEDDIR)/%)
 	@echo "  INSTALL $(SLS)"
-	$(H)scp $(SLS:%=$(JEDDIR)/%) $(DOWNDIR)
+	$(H)scp $^ $(DOWNDIR)
 
 install-bib: $(BIB:%=$(BIBDIR)/%)
 	@echo "  INSTALL $(BIB)"
 	$(H)scp $< $(DOWNDIR)
 	$(H)scp $< $(DOWNDIR)/$(BIB:%.bib=%.txt)
 
+up:
+	@echo "  UPDATE $(REMOTE):$(RDIR)"
+	$(H)ssh $(REMOTE) "svn up $(RDIR)"
+
 %.ld: BASEURL = --stringparam baseurl $(LDDLURL)
 
 %.ld:
@@ -81,3 +88,5 @@ install-bib: $(BIB:%=$(BIBDIR)/%)
 
 %.ldc:
 	@echo "  SKIP $@"
+
+.PHONY: $(TAGS)