From 338d0ad21f01db708c40e06745afd20749a82926 Mon Sep 17 00:00:00 2001 From: Luke Shumaker Date: Mon, 18 Apr 2016 19:48:10 -0400 Subject: improve INSTALL documentation --- INSTALL | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) (limited to 'INSTALL') 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 ------------ -- cgit v1.2.3