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 requring GNU make.
--
Bruce Momjian <bruce@momjian.us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ It's impossible for everything to be true. +
