build: Support $DESTDIR.
authorJan Nieuwenhuizen <janneke@gnu.org>
Fri, 29 Jun 2018 18:38:11 +0000 (20:38 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Thu, 12 Jul 2018 20:29:59 +0000 (22:29 +0200)
commitb4fa5609fe8a520dfc4b5316a93bff54a9290e3b
tree0a424582c33236a944c40bd9288ab523e0396f6f
parent72e147f53fc11d0397e080297db31ef897346910
build: Support $DESTDIR.

* build-aux/export.make: export DESTDIR.
* install.sh: Support $DESTDIR.
build-aux/export.make
install.sh