some corrections

[helm.git] / helm / www / lambda_delta / Makefile

diff --git a/helm/www/lambda_delta/Makefile b/helm/www/lambda_delta/Makefile
index af82c9ba537936d70cefac8610c0b08c8a0c5145..65437a4839b179aeada54efa07cc727e126d78a1 100644 (file)
--- a/helm/www/lambda_delta/Makefile
+++ b/helm/www/lambda_delta/Makefile
@@ -1,8 +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
+       install-jed install-bib \
 
 LDDLURL = http://lambda-delta.info/static/lddl
 
@@ -13,9 +14,12 @@ XMLDIR   = xml
 HTMLDIR  = $(HOME)/public_html/lddl
 JEDDIR   = $(HOME)/mps/jed
 BIBDIR   = $(HOME)/texmf/bibtex/bib
+XHTBLDIR = bin/xhtbl
 
-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
@@ -30,11 +34,13 @@ XMLS = brg_si/grundlagen/l/not.ld.xml \
        crg_si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.xml \
        crg_si/grundlagen/l/e/pairis1.ld.xml \
        crg_si/grundlagen/l/e/st/eq/landau/n/327/t25.ld.xml \
-#       brg_si/grundlagen/ccs.ldc.xml
+       brg_si/grundlagen/ccs.ldc.xml
 
 XMLLINT = xmllint --noout
 XSLT    = xsltproc
 
+all: www
+
 lint-xml: $(XMLS:%=$(XMLDIR)/%)
        @echo XMLLINT --valid
        $(H)$(XMLLINT) --valid $^ 
@@ -55,7 +61,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 +71,20 @@ 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)
 
+www: 
+       $(H)$(MAKE) --no-print-directory -C $(XHTBLDIR) www
+
+up:
+       @echo "  UPDATE $(REMOTE):$(RDIR)"
+       $(H)ssh $(REMOTE) "svn up $(RDIR)"
+
 %.ld: BASEURL = --stringparam baseurl $(LDDLURL)
 
 %.ld:
@@ -81,3 +94,5 @@ install-bib: $(BIB:%=$(BIBDIR)/%)
 
 %.ldc:
        @echo "  SKIP $@"
+
+.PHONY: $(TAGS)