readded man.html
t
new Portfile and reinserted man (html)