Clarify pg_upgrade install instructions, per suggestion from Robert Haas.

diff --git a/doc/src/sgml/pgupgrade.sgml b/doc/src/sgml/pgupgrade.sgml
index 8a3e41a8308e4835f84471538f64e06d720e712e..5b42fa85aa9959116342cf5fce15f46814395ea0 100644 (file)
--- a/doc/src/sgml/pgupgrade.sgml
+++ b/doc/src/sgml/pgupgrade.sgml
@@ -213,8 +213,8 @@ gmake prefix=/usr/local/pgsql.new install
     Install pg_upgrade and pg_upgrade_support
 
     
-     Install pg_upgrade and
-     pg_upgrade_support in the new PostgreSQL cluster.
+     Install the pg_upgrade binary and
+     pg_upgrade_support library in the new PostgreSQL cluster.