Make sure people know when they need to rebuild the Makefile.