chiark / gitweb /
Makefile: Remove obsolete dist target