]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/Makefile.common
bugfix in uri's: missing "/" added to baseuri's where necessary
[helm.git] / helm / software / helena / Makefile.common
index 1fbcd619bc4f0757f8881a2b891b094a0ac25bc1..34c521bb6eeeae2b8446ede553b9aad3fae4b0a2 100644 (file)
@@ -7,7 +7,7 @@ endif
 
 RELISE = $(MAIN:%=%_$(shell cat MakeVersion))
 
-DOWNDIR = $(HOME)/svn/helm-stable/www/lambdadelta/download
+DOWNDIR = $(HOME)/svn/helm_stable/www/lambdadelta/download
 
 DIRECTORIES = $(addprefix $(SRC)/,$(shell cat $(SRC)/Make))