Thread: [COMMITTERS] pgsql: Document usage of COPT environment variable for adjustingconfig

Document usage of COPT environment variable for adjusting configure flags.

Also add to the existing rather half-baked description of PROFILE,
which does exactly the same thing, but I think people use it differently.

Discussion: https://postgr.es/m/16461.1487361849@sss.pgh.pa.us

Branch
------
REL9_6_STABLE

Details
-------
http://git.postgresql.org/pg/commitdiff/365ee96d535e91d9808d21a8a78c8664cfc44d5e

Modified Files
--------------
doc/src/sgml/installation.sgml | 28 ++++++++++++++++++++++++++++
src/Makefile.global.in         |  5 +++++
2 files changed, 33 insertions(+)