chiark / gitweb /
build-sys: prune the list of directories we create on install