chiark / gitweb /
build system: Support DESTDIR