chiark / gitweb /
Add a "make tags" target