X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2FMakefile;h=982c1ff1d8846611248464ed0cb103c3c0ab0437;hb=5924405e7f361a8b2bf638e6a361f7f16cdc7ac2;hp=ae43f1cf40c40fdd70de71b2f184fb49baa102ac;hpb=2aea8f344b5bb1cd15b39203026fa70bee25a408;p=helm.git diff --git a/helm/www/lambda_delta/Makefile b/helm/www/lambda_delta/Makefile index ae43f1cf4..982c1ff1d 100644 --- a/helm/www/lambda_delta/Makefile +++ b/helm/www/lambda_delta/Makefile @@ -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)"