Only need master Makefile to build doc

at least for now.
Update synopsis and fix doc nits