diff options
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL b/INSTALL index 99895bd6c..cf70893a7 100644 --- a/INSTALL +++ b/INSTALL @@ -47,7 +47,7 @@ Pre-configuration If you are using a normal source release, skip this section. If the `configure' script does not already exist -- e.g., if you've got -a snapshot of the bare sources just checked out from a CVS repository +a snapshot of the bare sources just checked out from a git repository -- some things need to be built before the configuration can proceed. Run the script `./Util/preconfig' to do this. |