chiark / gitweb /
build-sys: fix EXTRA_DIST