3 TAGS = lint-xml index lddl install-xml \
4 test-html html install-html \
5 install-jed install-bib \
8 LDDLURL = http://lambda-delta.info/static/lddl
14 HTMLDIR = $(HOME)/public_html/lddl
15 JEDDIR = $(HOME)/mps/jed
16 BIBDIR = $(HOME)/texmf/bibtex/bib
19 REMOTE = helm.cs.unibo.it
20 RDIR = /projects/helm/public_html/lambda_delta
21 RXMLDIR = $(REMOTE):$(RDIR)/xml
22 RHTMLDIR = $(REMOTE):$(RDIR)/static/lddl
24 SLS = helena.sl automath.sl
25 BIB = lambda_delta.bib
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
39 XMLLINT = xmllint --noout
42 lint-xml: $(XMLS:%=$(XMLDIR)/%)
44 $(H)$(XMLLINT) --valid $^
46 $(ETCDIR)/make-html.sh $(XMLDIR)/index.txt index:
47 @echo " GENERATE INDEXES"
48 $(H)find $(XMLDIR) -name "*.ld.xml" | sed s/.xml//g | sed s/xml/ld:/g > $(XMLDIR)/index.txt
49 $(H)sed "s/^/make --no-print-directory /" $(XMLDIR)/index.txt | sed s.ld:/.. > $(ETCDIR)/make_html.sh
51 lddl: $(ETCDIR)/exclude.txt index
52 @echo " GENERATE lddl.tar.bz2"
53 $(H)tar -cjf $(DOWNDIR)/lddl.tar.bz2 -X $< $(XMLDIR)
55 install-xml: $(XMLDIR)/index.txt
57 $(H)scp -r $< $(XMLDIR)/brg_si/ $(XMLDIR)/crg_si/ $(RXMLDIR)
60 @$(MAKE) --no-print-directory $(XMLS:%.xml=%)
62 html: $(ETCDIR)/make_html.sh
66 install-html: $(ETCDIR)/make_html.sh
68 $(H)scp -r $(HTMLDIR)/* $(RHTMLDIR)
70 install-jed: $(SLS:%=$(JEDDIR)/%)
71 @echo " INSTALL $(SLS)"
74 install-bib: $(BIB:%=$(BIBDIR)/%)
75 @echo " INSTALL $(BIB)"
77 $(H)scp $< $(DOWNDIR)/$(BIB:%.bib=%.txt)
80 $(H)$(MAKE) --no-print-directory -C $(XHTBLDIR) www
83 @echo " UPDATE $(REMOTE):$(RDIR)"
84 $(H)ssh $(REMOTE) "svn up $(RDIR)"
86 %.ld: BASEURL = --stringparam baseurl $(LDDLURL)
90 $(H)mkdir -p $(HTMLDIR)/$(@D)
91 $(H)$(XSLT) -o $(HTMLDIR)/$@.html $(BASEURL) $(XSLTDIR)/lddl.xsl $(XMLDIR)/$@.xml