chiark / gitweb /
Makefiles: Do not override PREFIX or DESTDIR from the environment