Added resulting .pdf file under version control, for the purpose of viewing it without building.