On 02/01/2013 09:37 AM, Stephen Kelly wrote:
> I had another look at your patch and noticed that $ENV{DESTDIR} is not
> handled. Should it be?
No, the decision is about where the files expect themselves to be when
they are loaded in use. DESTDIR is only about packaging.
-Brad