]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambda_delta/bin/xhtbl/Makefile
- one file and three lemmas added to Basic 2
[helm.git] / helm / www / lambda_delta / bin / xhtbl / Makefile
1 EXEC = xhtbl
2 VERSION=0.1.0
3
4 REQUIRES = str
5
6 YACCFLAGS = -v
7
8 include Makefile.common
9
10 XSLT = xsltproc
11 XHTBL = ./xhtbl.native
12
13 LDURL     = http://lambda-delta.info/
14 XSLDIR    = ../../xslt/
15 SRCDIR    = ../../web/home/
16 LDSRCDIR  = ../../etc/lambda_delta/
17 HOMEDIR   = ../../
18
19 TBLS  = $(SRCDIR)ld_basic_2_src.tbl $(LDSRCDIR)Basic_2/ld_Basic_2_sum.tbl
20 XSLS  = xhtbl.xsl ld_Basic_2_sum.xsl ld_basic_2_src.xsl
21 LDWEB = ld_web.xsl ld_web_root.xsl ld_web_library.xsl 
22
23 %.html: BASEURL = --stringparam baseurl $(LDURL)
24
25 test: $(HOMEDIR)ld_basic_2.html
26
27 $(XSLS:%=$(XSLDIR)%): $(TBLS) $(XHTBL)
28         @echo "  XHTBL $(notdir $(TBLS))"
29         $(H)$(XHTBL) -O $(XSLDIR) $(TBLS)
30
31 $(HOMEDIR)ld_basic_2.html: $(SRCDIR)ld_basic_2.ldw.xml $(XSLS:%=$(XSLDIR)%) $(LDWEB:%=$(XSLDIR)%)  
32         @echo "  XSLT $<"
33         $(H)$(XSLT) -o $@ $(BASEURL) $(XSLDIR)ld_web.xsl $<