chiark / gitweb /
build: don't add extra clean tasks