pgsql: Document usage of COPT environment variable for adjusting config

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: /messages/by-id/16461.1487361849@sss.pgh.pa.us

Branch
------
REL9_5_STABLE

Details
-------
http://git.postgresql.org/pg/commitdiff/447591c70c4aaef950f8cee6db188e4c35bc551f

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

--
Sent via pgsql-committers mailing list (pgsql-committers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-committers