X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2FMakefile;h=4c610a09a64fdf41bc6d923a9fbfeb3ecd09e525;hb=9b75ad80a3ee31314c02f113b255ad533a87d3d2;hp=3533cb02eb53a004e2aa070e4b3e51c7efd04218;hpb=cb0d4e730bd6ec9bed1018be37748120f740f0a9;p=helm.git

diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile
index 3533cb02e..4c610a09a 100644
--- a/helm/www/lambdadelta/Makefile
+++ b/helm/www/lambdadelta/Makefile
@@ -81,14 +81,14 @@ ifeq ($(MAKECMDGOALS), www)
 
    $(XSLS): $(TBLS) $(XHTBL)
 	@echo "  XHTBL *.tbl"
-	$(H)$(XHTBL) -O $(XSLTDIR) $(TBLS)
+	$(H)$(XHTBL) -b $(LDURL) -O $(XSLTDIR) $(TBLS)
 
    $(foreach LDW,$(LDWS),$(eval $(call HTML_TEMPLATE,$(LDW),$(notdir $(LDW:%.ldw.xml=%)))))
 endif
 
 all: www
 
-www: $(HTMLS)
+www: $(HTMLS) $(TBLS) $(XHTBL)
 
 lint-xml: $(XMLS:%=$(XMLDIR)/%)
 	@echo XMLLINT --valid