X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL;fp=INSTALL;h=9254a0d36f707dc313f7fe2dc9c9ebfc2abc1213;hb=90ad1c5d9f9f20154715cf533228357e28145f64;hp=dc673c441c387fd4f79384eea9b22785aeae7101;hpb=39a5409da5cc7c480fe084e62c096c9f49a65c30;p=pspp-builds.git

diff --git a/INSTALL b/INSTALL
index dc673c44..9254a0d3 100644
--- a/INSTALL
+++ b/INSTALL
@@ -237,7 +237,12 @@ Optional Features
    of libraries are detected.   Use of this option is not recommended.
    If you use it, some features may be missing and the build may fail
    with obscure error messages.
-   
+
+`--enable-relocatable'
+   This option is useful for building a package which can be installed
+   into an arbitrary directory and freely copied to any other directory.
+   If you use this option, you will probably want to install the pspp
+   with a command similar to "make install DESTDIR=<distination>".
 
 Defining Variables
 ==================