we want a html man file on the webserver