Re: make vs. gmake

On Fri, Jan 31, 2014 at 12:28:15PM -0500, Bruce Momjian wrote:
> On Fri, Jul 26, 2013 at 01:49:32PM -0400, Bruce Momjian wrote:
> > FYI, our source code build  docs suggest 'gmake' in a number of places
> > while 'make' would be used on other platforms.  Should we change these
> > to just say 'make'?  I think we suggested 'gmake' in the past because of
> > FreeBSD having BSD 'make' and requiring GNU make.
>
> FYI, I am going to change 'gmake' mentions in the docs to 'make', as I
> think it meets the need of most of our users/developers.

Done.

--
  Bruce Momjian  <bruce@momjian.us>        http://momjian.us
  EnterpriseDB                             http://enterprisedb.com

  + Everyone has their own god. +