add pdf versions of some doc files