edits to doc and generate pdfs through Makefile
Merge pull request #46 from smirolo/master

edits to doc and generate pdfs through Makefile