Clarify how one should behave when make fails.  The fault is not
necessarely ours.
1 file changed