K 10
svn:author
V 5
crees
K 8
svn:date
V 27
2013-12-24T15:45:28.393789Z
K 7
svn:log
V 88
Fix install with DOCS option disabled

PR:		ports/185161
Submitted by:	Anton Yuzhaninov

END