Clean up mention of gmake vs. make.

diff --git a/doc/src/sgml/install.sgml b/doc/src/sgml/install.sgml
index 9d6d8a2cc68a06acccaf7fb1328b9b450f986cf7..d4d18ab92e6163a9261abafb8639603f0b7b513c 100644 (file)
--- a/doc/src/sgml/install.sgml
+++ b/doc/src/sgml/install.sgml
@@ -388,7 +388,7 @@ $ exit
 
 There are two places in this installation procedure where you will have an opportunity
 to specify installation locations for programs, libraries, documentation, and other files.
-Usually it is sufficient to specify these at the make install stage
+Usually it is sufficient to specify these at the gmake install stage
 of installation.
 
 
@@ -551,6 +551,8 @@ $ tail -f make.log
 
 All of PostgreSQL is successfully made. Ready to install.
 
+Remember, gmake may be called make on
+your system.
 
   At this point, or earlier
      if you wish, type control-C to get out of tail.  (If you have
@@ -572,7 +574,7 @@ the flex command
   Next,
      change directory back to this directory, type 
 
-$ make clean
+$ gmake clean
 
 then recompile again.
 
@@ -606,6 +608,8 @@ gmake[1]: Leaving directory `/usr/src/pgsql/src/man'
 
 At this point, or earlier if you wish,
      type control-C to get out of tail.
+Remember, gmake may be called make on
+your system.