id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,port 997,jhead Portfile patch - mv docs to share/doc and general tidy,simon@…,rshaw@…,"I'd installed docs in ${prefix}/doc/${portname} this patch corrects the portfile to install the docs in ${prefix}/share/doc/${portname}. Also some pedantic tidying up.",defect,closed,Normal,,ports,1.0,fixed,,fkr@…,