Add some more about GNU vs BSD make to FAQ