]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/Makefile
- update in ground_2 and basic_2
[helm.git] / helm / www / lambdadelta / Makefile
index c88300d95ed814ef817004d27d7e8eb434a4b623..4c610a09a64fdf41bc6d923a9fbfeb3ecd09e525 100644 (file)
@@ -88,7 +88,7 @@ endif
 
 all: www
 
-www: $(HTMLS)
+www: $(HTMLS) $(TBLS) $(XHTBL)
 
 lint-xml: $(XMLS:%=$(XMLDIR)/%)
        @echo XMLLINT --valid