From 825e99e07fb3a98e114e7841ddbaf4f0d50f351e Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Mon, 12 Sep 2011 15:35:16 +0000 Subject: [PATCH] remote update by make --- helm/www/lambda_delta/Makefile | 12 +++++++++--- helm/www/lambda_delta/implementation.html | 2 +- 2 files changed, 10 insertions(+), 4 deletions(-) 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: lambda_delta.txt (revised 2010-07). + style="font-weight: bold;">2011-09).