Update Makefile, top-level docs