note 87930 added to gmp.installation

Note that this parameter requires a path, as in --with-gmp=DIR, if gmp is installed in a non-standard location, which is almost always the case when you are building your own PHP installation in your home directory. Obvious, but it's an easy mistake. ---- Server IP: 217.13.201.10 Probable Submitter: 92.202.49.86 ---- Manual Page -- http://www.php.net/manual/en/gmp.installation.php Edit -- https://master.php.net/note/edit/87930 Del: integrated -- https://master.php.net/note/delete/87930/integrated Del: useless -- https://master.php.net/note/delete/87930/useless Del: bad code -- https://master.php.net/note/delete/87930/bad+code Del: spam -- https://master.php.net/note/delete/87930/spam Del: non-english -- https://master.php.net/note/delete/87930/non-english Del: in docs -- https://master.php.net/note/delete/87930/in+docs Del: other reasons-- https://master.php.net/note/delete/87930 Reject -- https://master.php.net/note/reject/87930 Search -- https://master.php.net/manage/user-notes.php