X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2FMakefile;h=982c1ff1d8846611248464ed0cb103c3c0ab0437;hb=99c8b28b92ec2c44774f664f9c9ec1a458593e1d;hp=173c4d78cf9f7eb2ecc5f9382329feaf6f2e0582;hpb=fca65d71d40cce00c0ac601e8c1626ba085c26e2;p=helm.git

diff --git a/helm/www/lambda_delta/Makefile b/helm/www/lambda_delta/Makefile
index 173c4d78c..982c1ff1d 100644
--- a/helm/www/lambda_delta/Makefile
+++ b/helm/www/lambda_delta/Makefile
@@ -3,7 +3,7 @@ H=@
 TAGS = lint-xml index lddl install-xml \
        test-html html install-html \
        install-jed install-bib \
-       up
+       www up
 
 LDDLURL = http://lambda-delta.info/static/lddl
 
@@ -14,6 +14,7 @@ XMLDIR   = xml
 HTMLDIR  = $(HOME)/public_html/lddl
 JEDDIR   = $(HOME)/mps/jed
 BIBDIR   = $(HOME)/texmf/bibtex/bib
+XHTBLDIR = bin/xhtbl
 
 REMOTE   = helm.cs.unibo.it
 RDIR     = /projects/helm/public_html/lambda_delta
@@ -75,6 +76,9 @@ 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):$(RDIR)"
 	$(H)ssh $(REMOTE) "svn up $(RDIR)"