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_3_STABLE

Details
-------
http://git.postgresql.org/pg/commitdiff/6b77a0e125897fd3b5c553017a060735803e580e

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