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
------
master

Details
-------
http://git.postgresql.org/pg/commitdiff/a029d2cf4203f8f240bae4651e62c2358673b9f4

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