]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/Makefile
contrib update ...
[helm.git] / helm / www / lambdadelta / Makefile
index 3533cb02eb53a004e2aa070e4b3e51c7efd04218..4c610a09a64fdf41bc6d923a9fbfeb3ecd09e525 100644 (file)
@@ -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