X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL;h=6654e90bb52507a395ac9be49812e69529f3e41a;hb=535b3ff175221bf40a3e009930e4121e6d093f24;hp=e45f5875f2756d69053f8de44f08459ec3eee972;hpb=b7630569df28b3056ab190e5cc635fdb261e895d;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