diff options
| author | bringert <unknown> | 2004-06-23 13:46:40 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-06-23 13:46:40 +0000 |
| commit | 801a2cb9f196881e34d8f6d7eeb7a0dcbab6d75a (patch) | |
| tree | 45d8c23bd52228d7f94537d60d7aca9aed3774e0 /src/INSTALL.binary | |
| parent | 09b3c829971b696faf5f3cc36576fbb8740c3f26 (diff) | |
Find java with configure, do not include preprocessed jgf script in binary dists.
Diffstat (limited to 'src/INSTALL.binary')
| -rw-r--r-- | src/INSTALL.binary | 8 |
1 files changed, 5 insertions, 3 deletions
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 |