note 88534 added to configure.about

>> For a complete up-to-date list of configure options, run ./configure --help in your PHP >> source directory after running autoconf (see also the Installation chapter). The instruction here to run autoconf doesn't agree with the Installation chapter, and doesn't seem to be necessary just to run: ./configure --help And indeed that help does give a useful list of available options, with brief description. >> You may also be interested in reading the » GNU configure Except that this link points to a doc that's over 10 years old. Additionally, it does not provide a list of the standard configure options (though some are mentioned over the course of several pages). A potentially helpful summary of configure and its options is here: http://www.gnu.org/prep/standards/html_node/Configuration.html ... and in nearby pages. ---- Server IP: 208.69.120.35 Probable Submitter: 68.7.44.17 ---- Manual Page -- http://www.php.net/manual/en/configure.about.php Edit -- https://master.php.net/note/edit/88534 Del: integrated -- https://master.php.net/note/delete/88534/integrated Del: useless -- https://master.php.net/note/delete/88534/useless Del: bad code -- https://master.php.net/note/delete/88534/bad+code Del: spam -- https://master.php.net/note/delete/88534/spam Del: non-english -- https://master.php.net/note/delete/88534/non-english Del: in docs -- https://master.php.net/note/delete/88534/in+docs Del: other reasons-- https://master.php.net/note/delete/88534 Reject -- https://master.php.net/note/reject/88534 Search -- https://master.php.net/manage/user-notes.php