Tweak Makefile-s to be more robust in the absence of documentation tools.