From aedc4b41cf828ee192c3b65882d1f1f18b3f155d Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 16 Jun 2011 04:24:09 +0000 Subject: preparing for release --- INSTALL | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index 53f320f4..2f0a5eff 100644 --- a/INSTALL +++ b/INSTALL @@ -33,7 +33,7 @@ separately install it, or download the dependency tarball from the SourceForge download site -http://voxel.dl.sourceforge.net/sourceforge/open-axiom/open-axiom-1.4.0-dep.tar.bz2 + http://surfnet.dl.sf.net/project/open-axiom/open-axiom/dependencies/open-axiom-1.4.0-dep.tar.bz2 If you already have a Lisp system installed, please go to step 2. Note however that if you want to build OpenAxiom with the GCL from @@ -74,8 +74,8 @@ different from the one that contains the sources. For example, you may create a directory sibling to open-axiom-1.4.0 and build the system from there: - mkdir build-oa - cd build-oa + mkdir oa-build + cd oa-build ../open-axiom-1.4.0/configure It is possible to tell configure where to put the final OpenAxiom -- cgit v1.2.3