]> matita.cs.unibo.it Git - helm.git/blobdiff - 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
index 289c0cecd9f1f3ad5c936001d70a2d67cbc91aea..ee86004f71f443c9821065e79bd4bd3e835a31a2 100644 (file)
@@ -10,21 +10,23 @@ include Makefile.common
 XSLT = xsltproc
 XHTBL = ./xhtbl.native
 
-XSLS  = xhtbl.xsl ld_basic_2.xsl
+LDURL     = http://lambda-delta.info/
+XSLDIR    = ../../xslt/
+SRCDIR    = ../../web/home/
+LDSRCDIR  = ../../etc/lambda_delta/
+HOMEDIR   = ../../
+
+TBLS  = $(SRCDIR)ld_basic_2_src.tbl $(LDSRCDIR)Basic_2/ld_Basic_2_sum.tbl
+XSLS  = xhtbl.xsl ld_Basic_2_sum.xsl ld_basic_2_src.xsl
 LDWEB = ld_web.xsl ld_web_root.xsl ld_web_library.xsl 
 
-LDURL   = http://lambda-delta.info/
-XSLDIR  = ../../xslt/
-SRCDIR  = ../../web/home/
-HOMEDIR = ../../
-
 %.html: BASEURL = --stringparam baseurl $(LDURL)
 
 test: $(HOMEDIR)ld_basic_2.html
 
-$(XSLS:%=$(XSLDIR)%): $(SRCDIR)ld_basic_2.tbl $(XHTBL)
-       @echo "  XHTBL $<"
-       $(H)$(XHTBL) -O $(XSLDIR) $<
+$(XSLS:%=$(XSLDIR)%): $(TBLS) $(XHTBL)
+       @echo "  XHTBL $(notdir $(TBLS))"
+       $(H)$(XHTBL) -O $(XSLDIR) $(TBLS)
 
 $(HOMEDIR)ld_basic_2.html: $(SRCDIR)ld_basic_2.ldw.xml $(XSLS:%=$(XSLDIR)%) $(LDWEB:%=$(XSLDIR)%)  
        @echo "  XSLT $<"