GNU Make 4.2 released!

From: Paul Smith
Subject: GNU Make 4.2 released!
Date: Sun, 22 May 2016 09:58:52 -0400

    GNU make is a tool which controls the generation of executables and
    other non-source files of a program from the program's source files.

    You can learn more at: 
http://www.gnu.org/software/make/


The next stable release of GNU make, 4.2, is available now for download
You can obtain a copy from:
           http://ftp.gnu.org/gnu/make/