Added script to convert man section files to html.