chiark / gitweb /
build system: New "make dist" uses git; add release checklist