chiark / gitweb /
Fix makefile to allow 'make release' to work with git