summaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL15
1 files changed, 6 insertions, 9 deletions
diff --git a/INSTALL b/INSTALL
index 8e3986e..ee64eae 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,16 +1,13 @@
-Installation of libretools is pretty straight-forward. The only
-tricky thing is the weird dependence on the devtools-par source code.
-
-The build system will by default look at `$(topdir)/../devtools-par`
-for the devtools-par source code. This can be changed by adjusting
-the `devtoolsdir` configuration variable, see "Configuration" below.
-
-Once you have the devtools source taken care of, you can have the
-default everything-included install by running:
+Installation of libretools is pretty straight-forward:
$ make
# make install
+As a caveat, by default, if the directory `devtools-par` exists in the
+same directory as the `libretools-${version}` directory, and contains
+newer files than the libretools directory, they will be copied into
+the libretools directory. See INSTALL-VCS for more details.
+
Dependencies
------------