]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/Makefile
additions and corrections to basic_2
[helm.git] / helm / www / lambda_delta / Makefile
index ae43f1cf40c40fdd70de71b2f184fb49baa102ac..982c1ff1d8846611248464ed0cb103c3c0ab0437 100644 (file)
@@ -77,8 +77,7 @@ install-bib: $(BIB:%=$(BIBDIR)/%)
        $(H)scp $< $(DOWNDIR)/$(BIB:%.bib=%.txt)
 
 www: 
-       @echo "  UPDATE HOME PAGES"
-       $(H)$(MAKE) --no-print-directory -C $(XHTBLDIR) test
+       $(H)$(MAKE) --no-print-directory -C $(XHTBLDIR) www
 
 up:
        @echo "  UPDATE $(REMOTE):$(RDIR)"