chiark / gitweb /
Makefile and minor updates.