X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL;fp=INSTALL;h=6654e90bb52507a395ac9be49812e69529f3e41a;hb=4f7864559d1e334f1c3b37d02cce0b9c9830d8e7;hp=e45f5875f2756d69053f8de44f08459ec3eee972;hpb=f6e966338eadedb167338c71185f53a4b9830331;p=pspp

diff --git a/INSTALL b/INSTALL
index e45f5875f2..6654e90bb5 100644
--- a/INSTALL
+++ b/INSTALL
@@ -237,6 +237,10 @@ Optional Features
     In these cases you can use --without-lib{xx} to force configure
     to disregard it.
 
+`--without-perl-module'
+   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