chiark / gitweb /
missing EXTRA_DIST and path