GNU make is a tool that controls the generation of executables and other
non-source files from source files. Its purpose is the same as that
of the utility make(1).
WWW: http://www.gnu.org/software/make/make.html
Introduce a heavily stripped-down GNU make 3.81 after repocopy.
1. Only the binary is installed (as bin/gmake381), without NLS
2. It's not attached to the build (devel/Makefile)
3. It's currently marked IGNORE
(2) and (3) should be enormous hints that this port is _NOT_ to be used
outside of the coming infrastructure changes that will bring in 3.82 in
all its shiny backwards-incompatible finest.
