chiark / gitweb /
document how to make a clean build