Make git-diff documentation use [--] when it should.