X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fhelena%2FMakefile.common;h=0db660fe6f0b7856260860e69eecca6879c6c7ce;hb=a0c8e5f59273c09542a1b8184dd1577d8f4240d7;hp=34c521bb6eeeae2b8446ede553b9aad3fae4b0a2;hpb=a255d83ebcb9b700a6f30cbcd109d223fc0d98cb;p=helm.git

diff --git a/helm/software/helena/Makefile.common b/helm/software/helena/Makefile.common
index 34c521bb6..0db660fe6 100644
--- a/helm/software/helena/Makefile.common
+++ b/helm/software/helena/Makefile.common
@@ -7,7 +7,7 @@ endif
 
 RELISE = $(MAIN:%=%_$(shell cat MakeVersion))
 
-DOWNDIR = $(HOME)/svn/helm_stable/www/lambdadelta/download
+DOWNDIR = ../../www/lambdadelta/download
 
 DIRECTORIES = $(addprefix $(SRC)/,$(shell cat $(SRC)/Make))
 
@@ -91,6 +91,6 @@ etc:
 	@echo "  OCAMLOPT $<"
 	$(H)$(OCAMLOPT) -c $<
 
-TAGS += $(MAIN).opt
+TAGS += all opt $(MAIN).opt
 
 $(foreach TAG, $(TAGS), $(eval $(call INCLUDE_TEMPLATE, $(TAG))))