chiark / gitweb /
build: fix "make dist"