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 de13e3b6252cff77541fa34de4a1fa9f8adf4d49..a1c2bd42fc8f913ad3776cc2deba90f3565534c1 100644 (file)
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1500,7 +1500,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.
 
    
 
@@ -1513,7 +1513,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.