X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL;h=c1a48ef8f5e8606508f0b30a931b7e7fb8b61944;hb=40dbcfea2501e4d3a4808c08185e02f23ad13258;hp=303f507055612ae2d238e917ea721e6992c78f86;hpb=19f2fd98d50c3a04ef4b885b88c0d86d360b6665;p=pspp

diff --git a/INSTALL b/INSTALL
index 303f507055..c1a48ef8f5 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,5 +1,5 @@
-PSPP Installation Instructions
-******************************
+Installation Instructions for GNU pspp
+**************************************
 
 These instructions are based on the generic GNU installation
 instructions, but they have been tailored for PSPP.
@@ -209,6 +209,14 @@ Optional Features
     In these cases you can use --without-lib{xx} to force configure
     to disregard it.
 
+`--enable-anachronistic-dependencies'
+   If you use this option, some of the checks for dependent libraries
+   will be relaxed, permitting configure to succeed when older versions
+   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.
+   
+
 Defining Variables
 ==================