Update build docs that refer to old makefile.* files.

Also update pull-tester's error message.