From 801a2cb9f196881e34d8f6d7eeb7a0dcbab6d75a Mon Sep 17 00:00:00 2001 From: bringert Date: Wed, 23 Jun 2004 13:46:40 +0000 Subject: Find java with configure, do not include preprocessed jgf script in binary dists. --- src/INSTALL.binary | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/INSTALL.binary') diff --git a/src/INSTALL.binary b/src/INSTALL.binary index 94ef1676f..e9b8f0295 100644 --- a/src/INSTALL.binary +++ b/src/INSTALL.binary @@ -4,10 +4,12 @@ Installing a binary GF distribution: $ gtar -zxf GF-2.0-[host].tar.gz -2. If you don't want to install the files under /usr/local, - run configure with the right installation prefix: +2. Run configure: - E.g. + $ ./configure + + If you don't want to install the files under /usr/local, + run configure with the right installation prefix. E.g.: $ ./configure --prefix=/usr -- cgit v1.2.3