Peter Galbavy <[EMAIL PROTECTED]> writes: > So, is there an effort to not require GNU make then ?
No, that's not relevant. GNU make is a tool, not part of the end result. A more interesting question is Autoconf, which we also depend on as a build tool, and which does copy parts of itself into the distributed product. However, Autoconf explicitly releases its output scripts as entirely free software, not GPL code. regards, tom lane ---------------------------(end of broadcast)--------------------------- TIP 7: don't forget to increase your free space map settings