X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2FMakefile;h=4c610a09a64fdf41bc6d923a9fbfeb3ecd09e525;hb=d48d412796a295256c048256c8f7a843e3406980;hp=c88300d95ed814ef817004d27d7e8eb434a4b623;hpb=c0d87c3cdf879f61aa53e91f43580e9815ae7190;p=helm.git

diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile
index c88300d95..4c610a09a 100644
--- a/helm/www/lambdadelta/Makefile
+++ b/helm/www/lambdadelta/Makefile
@@ -88,7 +88,7 @@ endif
 
 all: www
 
-www: $(HTMLS)
+www: $(HTMLS) $(TBLS) $(XHTBL)
 
 lint-xml: $(XMLS:%=$(XMLDIR)/%)
 	@echo XMLLINT --valid