From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 29 Sep 2011 19:57:26 +0000 (+0000)
Subject: bugfix in remote update
X-Git-Tag: make_still_working~2264
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fca65d71d40cce00c0ac601e8c1626ba085c26e2;p=helm.git

bugfix in remote update
---

diff --git a/helm/www/lambda_delta/Makefile b/helm/www/lambda_delta/Makefile
index a392c4dc0..173c4d78c 100644
--- a/helm/www/lambda_delta/Makefile
+++ b/helm/www/lambda_delta/Makefile
@@ -15,9 +15,10 @@ HTMLDIR  = $(HOME)/public_html/lddl
 JEDDIR   = $(HOME)/mps/jed
 BIBDIR   = $(HOME)/texmf/bibtex/bib
 
-REMOTE   = helm:/projects/helm/public_html/lambda_delta
-RXMLDIR  = $(REMOTE)/xml
-RHTMLDIR = $(REMOTE)/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
@@ -75,8 +76,8 @@ install-bib: $(BIB:%=$(BIBDIR)/%)
 	$(H)scp $< $(DOWNDIR)/$(BIB:%.bib=%.txt)
 
 up:
-	@echo "  UPDATE $(REMOTE)"
-	$(H)ssh helm "svn up $(REMOTE:helm:%=%)"
+	@echo "  UPDATE $(REMOTE):$(RDIR)"
+	$(H)ssh $(REMOTE) "svn up $(RDIR)"
 
 %.ld: BASEURL = --stringparam baseurl $(LDDLURL)