chiark / gitweb /
Makefile: Some tidying.