chiark / gitweb /
Remove obsolete and broken dist target in root Makefile.

No match.