X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2FMakefile.common;h=34c521bb6eeeae2b8446ede553b9aad3fae4b0a2;hb=cb063199a8fa9d492fec1df64ddcad4503f0c9ee;hp=902f37a3db557e6b748f50b25d24e368161b6c16;hpb=eadeb433386822aac6862c76ba73957c07a99098;p=helm.git

diff --git a/helm/software/helena/Makefile.common b/helm/software/helena/Makefile.common
index 902f37a3d..34c521bb6 100644
--- a/helm/software/helena/Makefile.common
+++ b/helm/software/helena/Makefile.common
@@ -1,13 +1,13 @@
 H=@
 ifeq ($(origin OCAMLPATH), undefined)
-   OCAMLFIND = OCAMLPATH=$(HOME)/svn/helm-stable/software/components/METAS ocamlfind
+   OCAMLFIND = OCAMLPATH=$(HOME)/svn/claudio/components/METAS ocamlfind
 else
    OCAMLFIND = ocamlfind
 endif
 
 RELISE = $(MAIN:%=%_$(shell cat MakeVersion))
 
-DOWNDIR = $(HOME)/svn/helm-stable/www/lambda_delta/download
+DOWNDIR = $(HOME)/svn/helm_stable/www/lambdadelta/download
 
 DIRECTORIES = $(addprefix $(SRC)/,$(shell cat $(SRC)/Make))