--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/build-make.sh	Mon Aug 05 21:41:47 2013 -0400
@@ -0,0 +1,35 @@
+#! /bin/sh
+
+## Run from top-level mxe-octave directory.
+
+set -e
+
+top_dir=`pwd`
+
+make_ver="3.82"
+make_dir="make-$make_ver"
+make_pkg="$make_dir.tar.gz"
+
+if [ ! -d pkg ]; then
+  mkdir pkg
+fi
+
+if [ ! -f pkg/$make_pkg ]; then
+  wget ftp://ftp.gnu.org/gnu/make/$make_pkg -O pkg/$make_pkg
+fi
+
+rm -rf $make_dir
+
+tar zxf pkg/$make_pkg
+
+cd $make_dir
+
+./configure --prefix=$top_dir/usr
+
+make
+
+make install
+
+cd $top_dir
+
+rm -rf $make_dir