chiark / gitweb /
drop tmp handling, now done by run-all etc.