chiark / gitweb /
build-sys: fix "make distcheck"