K 10 svn:author V 3 jgh K 8 svn:date V 27 2012-01-26T18:39:18.000000Z K 7 svn:log V 136 - Revert change to PORTDOCS installation in commit 1.13 (Makefile) Suggested by: maintainer Approved by: cress,rene (mentors,implicit) END