chiark / gitweb /
Fix `distcheck' complaints.