Re: make lint

[Jamie Landeg-Jones]

> LINT files are no longer created. Someone needs to prod the doc. team.

Ooops, should have looked more closely at the email address I was replying to!