edits to doc and generate pdfs through Makefile