From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 12 Sep 2011 15:35:16 +0000 (+0000)
Subject: remote update by make
X-Git-Tag: make_still_working~2283
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=825e99e07fb3a98e114e7841ddbaf4f0d50f351e;p=helm.git

remote update by make
---

diff --git a/helm/www/lambda_delta/Makefile b/helm/www/lambda_delta/Makefile
index 206ee8efb..a392c4dc0 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,9 @@ 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:/projects/helm/public_html/lambda_delta
+RXMLDIR  = $(REMOTE)/xml
+RHTMLDIR = $(REMOTE)/static/lddl
 
 SLS = helena.sl automath.sl
 BIB = lambda_delta.bib
@@ -72,6 +74,10 @@ install-bib: $(BIB:%=$(BIBDIR)/%)
 	$(H)scp $< $(DOWNDIR)
 	$(H)scp $< $(DOWNDIR)/$(BIB:%.bib=%.txt)
 
+up:
+	@echo "  UPDATE $(REMOTE)"
+	$(H)ssh helm "svn up $(REMOTE:helm:%=%)"
+
 %.ld: BASEURL = --stringparam baseurl $(LDDLURL)
 
 %.ld:
diff --git a/helm/www/lambda_delta/implementation.html b/helm/www/lambda_delta/implementation.html
index 6fc317e77..12458806e 100644
--- a/helm/www/lambda_delta/implementation.html
+++ b/helm/www/lambda_delta/implementation.html
@@ -229,7 +229,7 @@ BibTeX database of λδ documentation: <a
 
           <a style="font-style: italic;"
  href="download/lambda_delta.txt">lambda_delta.txt</a> (revised <span
- style="font-weight: bold;">2010-07</span>).</li>
+ style="font-weight: bold;">2011-09</span>).</li>
       </ul>
       <ul>
         <li>A <a href="http://www.jedsoft.org/jed/">Jed mode</a> for