Merge pull request #735 from spbnick/add_P_option_to_man_pages