19:54 ade 

Update to GNU make 3.82 after numerous -exp runs.

17:23 ade 

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.