More descriptive doc names, update PDF Makefile.