chiark / gitweb /
build-sys: always populate EXTRA_DIST