chiark / gitweb /
build: Distribute make-summary to fix distcheck.