X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2FMakefile;h=982c1ff1d8846611248464ed0cb103c3c0ab0437;hb=99c8b28b92ec2c44774f664f9c9ec1a458593e1d;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)"