[project @ 2000-09-05 10:16:40 by simonmar]

[project @ 2000-09-05 10:16:40 by simonmar]
Rename the make variable TMPDIR to DEFAULT_TMPDIR.  This fixes the
problem that saying 'TMPDIR=/foo make' in an fptools tree didn't work,
because GNU make is in the habit of overriding an environment variable
with the value of the corresponding make variable in a sub-process.