[DOCS] make vs. gmake

2013-07-26 Thread Bruce Momjian
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 http:

[DOCS] Re: [BUGS] BUG #7652: Documentation index lacks functions from "Additional Supplied Modules"

2013-07-26 Thread Andreas Heiduk
Hello! On 29.06.2013 05:16 Bruce Momjian wrote: On Sun, Nov 11, 2012 at 06:35:35PM +, andreas.hei...@web.de wrote: The following bug has been logged on the website: Bug reference: 7652 Logged by: Andreas H. Email address: andreas.hei...@web.de PostgreSQL version: 9.2.1 O