update in web page for basic_1

[helm.git] / helm / www / lambdadelta / Makefile

diff --git a/helm/www/lambdadelta/Makefile b/helm/www/lambdadelta/Makefile
index 7bb0f24bd04fc8736de9041309774d8e29eb0e58..240b2dce1477e40f5f3a291a2c781d121394ebd9 100644 (file)
--- a/helm/www/lambdadelta/Makefile
+++ b/helm/www/lambdadelta/Makefile
@@ -145,7 +145,7 @@ install-matita: $(MATITA:%=$(HELENADIR)/%)
        @echo "  INSTALL matita"
        $(H)tar -C $(HELENADIR) -cjf $(DOWNDIR)/grundlagen_2.tar.bz2 $(MATITA)
 
-install-1: $(HOME)/coq/ld_731/contrib/lambdadelta.tar.gz
+install-1: etc/coq/ld_731/contrib/lambdadelta.tar.gz
        @echo "  INSTALL $<"
        $(H)scp $< $(DOWNDIR)/lambdadelta_1.tar.gz