K 10 svn:author V 5 danfe K 8 svn:date V 27 2013-07-10T15:19:11.111460Z K 7 svn:log V 106 - Cleanup Makefile before making the port make jobs safe - Convert NOPORTDOCS to OPTIONS; pet portlint(1) END