]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambda_delta/bin/xhtbl/Makefile
axiom-
[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 XSLS  = xhtbl.xsl ld_basic_2.xsl
14 LDWEB = ld_web.xsl ld_web_root.xsl ld_web_library.xsl 
15
16 LDURL   = http://lambda-delta.info/
17 XSLDIR  = ../../xslt/
18 SRCDIR  = ../../web/home/
19 HOMEDIR = ../../
20
21 %.html: BASEURL = --stringparam baseurl $(LDURL)
22
23 test: $(HOMEDIR)ld_basic_2.html
24
25 $(XSLS:%=$(XSLDIR)%): $(SRCDIR)ld_basic_2.tbl $(XHTBL)
26         @echo "  XHTBL $<"
27         $(H)$(XHTBL) -O $(XSLDIR) $<
28
29 $(HOMEDIR)ld_basic_2.html: $(SRCDIR)ld_basic_2.ldw.xml $(XSLS:%=$(XSLDIR)%) $(LDWEB:%=$(XSLDIR)%)  
30         @echo "  XSLT $<"
31         $(H)$(XSLT) -o $@ $(BASEURL) $(XSLDIR)ld_web.xsl $<