On Fri, Jan 29, 2010 at 12:15 PM, Mike Massonnet <mmassonnet at gmail.com> wrote: > 2010/1/29 Nick Schermer <nickschermer at gmail.com>: >> Not blaming anyone; typos happen, [snip] > > Yeah they do. In [2] there is a typo, DESDIR instead of DESTDIR. ;-) and fixed. Nick