]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/Makefile.common
- dehypenation involves helena as well
[helm.git] / helm / software / helena / Makefile.common
index 902f37a3db557e6b748f50b25d24e368161b6c16..1fbcd619bc4f0757f8881a2b891b094a0ac25bc1 100644 (file)
@@ -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))