chiark / gitweb /
Make sure to clean up all the built sources.