chiark / gitweb /
makefile change; manoj is a co-maintainer