chiark / gitweb /
make: fix 'make distcheck'