chiark / gitweb /
Do distclean so it works; finalise version 0.4.