Document requirement for GNU make >= 4.0.

This is necessary because of the po/Makefile.in.in.

* DEPENDENCIES (make): Update requirements.

diff --git a/DEPENDENCIES b/DEPENDENCIES
index 210f11ed3119c877056036c6a197d6b09707f31f..e6c9123e42980086968a0eb1b427b4d02cdcb69c 100644 (file)
--- a/DEPENDENCIES
+++ b/DEPENDENCIES
@@ -333,8 +333,8 @@ dependencies):
 
 * A 'make' utility.
   + Mandatory.
-    Either the platform's native 'make' (for in-tree builds only),
-    or GNU Make 3.79.1 or newer.
+    Either the platform's native 'make' (on *BSD systems, and for in-tree
+    builds only), or GNU Make 4.0 or newer.
   + GNU Make Homepage:
     https://www.gnu.org/software/make/
   + Download: