chiark / gitweb /
Makefile: Add `dist' target.