Better documention in top-level Makefile.