X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2FMakefile;h=65437a4839b179aeada54efa07cc727e126d78a1;hb=2a5e781138f03034104184a40889c33515ac9778;hp=a392c4dc0e235d8ba1568e63da29d81ed009aff8;hpb=825e99e07fb3a98e114e7841ddbaf4f0d50f351e;p=helm.git

diff --git a/helm/www/lambda_delta/Makefile b/helm/www/lambda_delta/Makefile
index a392c4dc0..65437a483 100644
--- a/helm/www/lambda_delta/Makefile
+++ b/helm/www/lambda_delta/Makefile
@@ -1,9 +1,9 @@
 H=@
 
-TAGS = lint-xml index lddl install-xml \
+TAGS = www up \
+       lint-xml index lddl install-xml \
        test-html html install-html \
        install-jed install-bib \
-       up
 
 LDDLURL = http://lambda-delta.info/static/lddl
 
@@ -14,10 +14,12 @@ XMLDIR   = xml
 HTMLDIR  = $(HOME)/public_html/lddl
 JEDDIR   = $(HOME)/mps/jed
 BIBDIR   = $(HOME)/texmf/bibtex/bib
+XHTBLDIR = bin/xhtbl
 
-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
@@ -37,6 +39,8 @@ XMLS = brg_si/grundlagen/l/not.ld.xml \
 XMLLINT = xmllint --noout
 XSLT    = xsltproc
 
+all: www
+
 lint-xml: $(XMLS:%=$(XMLDIR)/%)
 	@echo XMLLINT --valid
 	$(H)$(XMLLINT) --valid $^ 
@@ -74,9 +78,12 @@ install-bib: $(BIB:%=$(BIBDIR)/%)
 	$(H)scp $< $(DOWNDIR)
 	$(H)scp $< $(DOWNDIR)/$(BIB:%.bib=%.txt)
 
+www: 
+	$(H)$(MAKE) --no-print-directory -C $(XHTBLDIR) www
+
 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)