]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/Makefile
some corrections
[helm.git] / helm / www / lambda_delta / Makefile
index 173c4d78cf9f7eb2ecc5f9382329feaf6f2e0582..65437a4839b179aeada54efa07cc727e126d78a1 100644 (file)
@@ -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,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
@@ -38,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 $^ 
@@ -75,6 +78,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)"