chiark / gitweb /
distclean, and clean is cleaner