helm/www/lambda_delta/Makefile

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