Remove need for doc 'install man' in INSTALL file. install does both

html and man.

INSTALL

@@ -506,16 +506,14 @@ Installation Procedure
                Tip: Of course, you may type these three 
                  lines all on the same line.
 
-       12.     Install the HTML documentation. Type 
+       12.     Install the man and HTML documentation. Type 
          $ cd /usr/src/pgsql/doc
          $ gmake install
          The documentation is also available in Postscript 
          format. Look for files ending with .ps.gz in the 
          same directory.
 
-       13.     Install the man page documentation. Type 
-         $ cd /usr/src/pgsql/doc
-         $ gmake man
+       13.     <removed>
 
        14.     Compile the program. Type 
          $ cd /usr/src/pgsql/src

doc/src/sgml/install.sgml

@@ -514,7 +514,8 @@ $ ./configure --prefix=/opt/postgres \
 
 <Step Performance="required">
 <Para>
-Install the <acronym>HTML</acronym> documentation. Type
+Install the <application>man</application> and
+<acronym>HTML</acronym> documentation. Type
 
 <ProgramListing>
 $ cd /usr/src/pgsql/doc
@@ -525,15 +526,6 @@ $ gmake install
 The documentation is also available in Postscript format. Look for files
 ending with <filename>.ps.gz</filename> in the same directory.
 
-<Step Performance="optional">
-<Para>
-Install the man page documentation. Type
-
-<ProgramListing>
-$ cd /usr/src/pgsql/doc
-$ gmake man
-</ProgramListing>
-
 <Step Performance="required">
 <Para>
 Compile the program.  Type