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 d05731d43a6b411064eee1d2e4f7b69412999544..4251ce55a3dbdafb357710f26ebf13a44f580a22 100644 (file)
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1477,7 +1477,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.
 
    
 
@@ -1490,7 +1490,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.