added PDF target for documentation

This is just a minor tweak - without any great testing - to add another build target to generate PDF documentation. Maybe this is of interest for the master branch?