Subject: Re: bug#16772: Failure in "make install" on MS-Windows

From: Glenn Morris <[email-masked]>
Date: Mon, 17 Feb 2014 14:13:59 -0500

Glenn Morris wrote:

>>    make install prefix=/foo/bar
[...]
> Oh, OK. Seems weird to me though.
> Why did GNU invent DESTDIR then?

For the record, I see my questions are answered in

http://www.gnu.org/savannah-checkouts/gnu/autoconf/manual/autoconf-2.69/html_node/Installation-Names.html