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
     <title>Install pg_upgrade and pg_upgrade_support</title>
 
     <para>
-     Install <application>pg_upgrade</> and
-     <application>pg_upgrade_support</> in the new PostgreSQL cluster.
+     Install the <application>pg_upgrade</> binary and
+     <application>pg_upgrade_support</> library in the new PostgreSQL cluster.
     </para>
    </step>