helm/www/lambdadelta/Makefile

   1 H=@
   2
   3 TAGS = www up \
   4        lint-xml index lddl install-xml \
   5        test-html html install-html \
   6        install-jed install-bib \
   7
   8 LDDLURL = http://lambdadelta.info/static/lddl
   9
  10 ETCDIR   = etc
  11 DOWNDIR  = download
  12 XSLTDIR  = xslt
  13 XMLDIR   = xml
  14 HTMLDIR  = $(HOME)/public_html/lddl
  15 JEDDIR   = $(HOME)/mps/jed
  16 BIBDIR   = $(HOME)/texmf/bibtex/bib
  17 XHTBLDIR = bin/xhtbl
  18
  19 REMOTE   = helm.cs.unibo.it
  20 RDIR     = /projects/helm/public_html/lambdadelta
  21 RXMLDIR  = $(REMOTE):$(RDIR)/xml
  22 RHTMLDIR = $(REMOTE):$(RDIR)/static/lddl
  23
  24 SLS = helena.sl automath.sl
  25 BIB = lambdadelta.bib
  26
  27 XMLS = brg_si/grundlagen/l/not.ld.xml \
  28        brg_si/grundlagen/l/et.ld.xml \
  29        brg_si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.xml \
  30        brg_si/grundlagen/l/e/pairis1.ld.xml \
  31        brg_si/grundlagen/l/e/st/eq/landau/n/327/t25.ld.xml \
  32        crg_si/grundlagen/l/not.ld.xml \
  33        crg_si/grundlagen/l/et.ld.xml \
  34        crg_si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.xml \
  35        crg_si/grundlagen/l/e/pairis1.ld.xml \
  36        crg_si/grundlagen/l/e/st/eq/landau/n/327/t25.ld.xml \
  37        brg_si/grundlagen/ccs.ldc.xml
  38
  39 XMLLINT = xmllint --noout
  40 XSLT    = xsltproc
  41
  42 all: www
  43
  44 lint-xml: $(XMLS:%=$(XMLDIR)/%)
  45         @echo XMLLINT --valid
  46         $(H)$(XMLLINT) --valid $^
  47
  48 $(ETCDIR)/make-html.sh $(XMLDIR)/index.txt index:
  49         @echo "  GENERATE INDEXES"
  50         $(H)find $(XMLDIR) -name "*.ld.xml" | sed s/.xml//g | sed s/xml/ld:/g > $(XMLDIR)/index.txt
  51         $(H)sed "s/^/make --no-print-directory /" $(XMLDIR)/index.txt | sed s.ld:/.. > $(ETCDIR)/make_html.sh
  52
  53 lddl: $(ETCDIR)/exclude.txt index
  54         @echo "  GENERATE lddl.tar.bz2"
  55         $(H)tar -cjf $(DOWNDIR)/lddl.tar.bz2 -X $< $(XMLDIR)
  56
  57 install-xml: $(XMLDIR)/index.txt
  58         @echo "  INSTALL xml"
  59         $(H)scp -r $< $(XMLDIR)/brg_si/ $(XMLDIR)/crg_si/ $(RXMLDIR)
  60
  61 test-html:
  62         @$(MAKE) --no-print-directory $(XMLS:%.xml=%)
  63
  64 html: $(ETCDIR)/make_html.sh
  65         @echo "  MAKE */*.ld"
  66         $(H). $<
  67
  68 install-html: $(ETCDIR)/make_html.sh
  69         @echo "  INSTALL html"
  70         $(H)scp -r $(HTMLDIR)/* $(RHTMLDIR)
  71
  72 install-jed: $(SLS:%=$(JEDDIR)/%)
  73         @echo "  INSTALL $(SLS)"
  74         $(H)scp $^ $(DOWNDIR)
  75
  76 install-bib: $(BIB:%=$(BIBDIR)/%)
  77         @echo "  INSTALL $(BIB)"
  78         $(H)scp $< $(DOWNDIR)
  79         $(H)scp $< $(DOWNDIR)/$(BIB:%.bib=%.txt)
  80
  81 www:
  82         $(H)$(MAKE) --no-print-directory -C $(XHTBLDIR) www
  83
  84 up:
  85         @echo "  UPDATE $(REMOTE):$(RDIR)"
  86         $(H)ssh $(REMOTE) "svn up $(RDIR)"
  87
  88 %.ld: BASEURL = --stringparam baseurl $(LDDLURL)
  89
  90 %.ld:
  91         @echo "  XSLT $@"
  92         $(H)mkdir -p $(HTMLDIR)/$(@D)
  93         $(H)$(XSLT) -o $(HTMLDIR)/$@.html $(BASEURL) $(XSLTDIR)/lddl.xsl $(XMLDIR)/$@.xml
  94
  95 %.ldc:
  96         @echo "  SKIP $@"
  97
  98 .PHONY: $(TAGS)