doc: Fix documentation to match actual make output

based on patch from Takeshi Ideriha 

diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index eb25263a985eb98e0990a09b598433c540f657c8..1c514104342fe8be93d7fbea7ba5166016903121 100644 (file)
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1461,7 +1461,7 @@ su - postgres
     will take a few minutes depending on your
     hardware. The last line displayed should be:
 
-All of PostgreSQL is successfully made. Ready to install.
+All of PostgreSQL successfully made. Ready to install.
 
    
 
@@ -1474,7 +1474,7 @@ All of PostgreSQL is successfully made. Ready to install.
 
    The last line displayed should be:
 
-PostgreSQL, contrib and HTML documentation successfully made. Ready to install.
+PostgreSQL, contrib, and documentation successfully made. Ready to install.