chiark / gitweb /
[PATCH] change release target in makefile.