]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/bin/xhtbl/Makefile
commit by user utente2
[helm.git] / helm / www / lambda_delta / bin / xhtbl / Makefile
index 79a056af563afe3f57986c7919b6ddf439fbbe47..df0833cca2a3f780eb9d7c4c9d71b51eac88b68f 100644 (file)
@@ -17,18 +17,20 @@ LDSRCDIR  = ../../etc/lambda_delta/
 HOMEDIR   = ../../
 TBLDIRS   = $(SRCDIR) $(LDSRCDIR)
 
+LDWS  = $(shell find $(SRCDIR) -name "*.ldw.xml")
 TBLS  = $(shell find $(TBLDIRS) -name "*.tbl")
 XSLS  = xhtbl.xsl $(patsubst %.tbl, %.xsl, $(notdir $(TBLS)))
+HTMLS = $(patsubst %.ldw.xml, $(HOMEDIR)%.html, $(notdir $(LDWS)))
 LDWEB = ld_web.xsl ld_web_root.xsl ld_web_library.xsl
 
-%.html: BASEURL = --stringparam baseurl $(LDURL)
+$(HOMEDIR)%.html: BASEURL = --stringparam baseurl $(LDURL)
 
-www: $(HOMEDIR)ld_basic_2.html
+www: $(HTMLS)
 
 $(XSLS:%=$(XSLDIR)%): $(TBLS) $(XHTBL)
        @echo "  XHTBL *.tbl"
        $(H)$(XHTBL) -O $(XSLDIR) $(TBLS)
 
-$(HOMEDIR)ld_basic_2.html: $(SRCDIR)ld_basic_2.ldw.xml $(XSLS:%=$(XSLDIR)%) $(LDWEB:%=$(XSLDIR)%)
+$(HOMEDIR)%.html: $(SRCDIR)%.ldw.xml $(XSLS:%=$(XSLDIR)%) $(LDWEB:%=$(XSLDIR)%)
        @echo "  XSLT $(notdir $<)"
        $(H)$(XSLT) -o $@ $(BASEURL) $(XSLDIR)ld_web.xsl $<