chiark / gitweb /
Makefile: check for missing ChangeLog or RELEASE-NOTES at release