chiark / gitweb /
Build system: Makefile: support DESTDIR.