K 10
svn:author
V 6
stefan
K 8
svn:date
V 27
2010-07-02T12:03:30.000000Z
K 7
svn:log
V 122
Fix plist with NOPORTDOCS (at least temporarily, until installation of the docs
is really suppressed).

Feature safe:	yes

END