correct_html_documentation_path_in_manpage.patch
