X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2FMakefile;h=65437a4839b179aeada54efa07cc727e126d78a1;hb=933f288c1ef283f50050ce51fbe6773f25fc68ea;hp=982c1ff1d8846611248464ed0cb103c3c0ab0437;hpb=ce747c4d4c3a087e1f59dca81b7b4962ffa8e02b;p=helm.git

diff --git a/helm/www/lambda_delta/Makefile b/helm/www/lambda_delta/Makefile
index 982c1ff1d..65437a483 100644
--- a/helm/www/lambda_delta/Makefile
+++ b/helm/www/lambda_delta/Makefile
@@ -1,9 +1,9 @@
 H=@
 
-TAGS = lint-xml index lddl install-xml \
+TAGS = www up \
+       lint-xml index lddl install-xml \
        test-html html install-html \
        install-jed install-bib \
-       www up
 
 LDDLURL = http://lambda-delta.info/static/lddl
 
@@ -39,6 +39,8 @@ XMLS = brg_si/grundlagen/l/not.ld.xml \
 XMLLINT = xmllint --noout
 XSLT    = xsltproc
 
+all: www
+
 lint-xml: $(XMLS:%=$(XMLDIR)/%)
 	@echo XMLLINT --valid
 	$(H)$(XMLLINT) --valid $^