X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2FMakefile;h=c56f2d8d7dea84b1dc270055cebf59dfe466c157;hp=9e9db85db646cefc7ca22a4b388acbeeb02c2067;hb=57ae1762497a5f3ea75740e2908e04adb8642cc2;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80

diff --git a/helm/www/lambdadelta/bin/xhtbl/Makefile b/helm/www/lambdadelta/bin/xhtbl/Makefile
index 9e9db85db..c56f2d8d7 100644
--- a/helm/www/lambdadelta/bin/xhtbl/Makefile
+++ b/helm/www/lambdadelta/bin/xhtbl/Makefile
@@ -1,36 +1,10 @@
-EXEC = xhtbl
-VERSION=0.1.1
+EXECS = xhtbl
 
 REQUIRES = str
 
-YACCFLAGS = -v
+include ../Makefile.common
 
-include Makefile.common
+test:
+	@$(MAKE) --no-print-directory -C ../../ www
 
-XSLT = xsltproc
-XHTBL = ./xhtbl.native
-
-LDURL   = http://lambdadelta.info/
-XSLDIR  = ../../xslt/
-SRCDIR  = ../../web/home/
-ETCDIR  = ../../etc/
-HOMEDIR = ../../
-TBLDIRS = $(SRCDIR) $(ETCDIR)
-
-LDWS  = $(shell find $(SRCDIR) -name "*.ldw.xml")
-TBLS  = $(shell find -L $(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
-
-$(HOMEDIR)%.html: BASEURL = --stringparam baseurl $(LDURL)
-
-www: $(HTMLS)
-
-$(XSLS:%=$(XSLDIR)%): $(TBLS) $(XHTBL)
-	@echo "  XHTBL *.tbl"
-	$(H)$(XHTBL) -O $(XSLDIR) $(TBLS)
-
-$(HOMEDIR)%.html: $(SRCDIR)%.ldw.xml $(XSLS:%=$(XSLDIR)%) $(LDWEB:%=$(XSLDIR)%)
-	@echo "  XSLT $(notdir $<)"
-	$(H)$(XSLT) -o $@ $(BASEURL) $(XSLDIR)ld_web.xsl $<
+.PHONY: test