X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL;h=5d1775cd8816baebf6756eab076a44b532cc3712;hb=3a55c62ff97587bba5d96204658da91c1ce6f49d;hp=183487025131b0307a127328dae1b44561dbf7a1;hpb=b18640dc027ea0b4f93297d6e640304c787097cb;p=pspp

diff --git a/INSTALL b/INSTALL
index 1834870251..5d1775cd88 100644
--- a/INSTALL
+++ b/INSTALL
@@ -272,13 +272,6 @@ Optional Features
    Disable building the Perl module, in case it does not build properly
    or you do not need 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.
-
 `--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.