chiark / gitweb /
build-sys: fix make dist-check