chiark / gitweb /
Makefile: do not require GNU install