K 10 svn:author V 7 zeising K 8 svn:date V 27 2013-04-04T12:45:51.655084Z K 7 svn:log V 117 Fix broken sed that made extra docs install even in the NOPORTDOCS case. Noted by: bapt Approved by: portmgr (bapt) END