chiark / gitweb /
[PATCH] cleaned up the makefile a bit.