K 10
svn:author
V 6
amdmi3
K 8
svn:date
V 27
2015-09-03T10:06:40.174064Z
K 7
svn:log
V 211
- Add missing docfiles into plist
- Use options helpers
- Fix installation with DOCS disabled (do not try to install docs which were not built)

PR:		202795
Submitted by:	amdmi3
Approved by:	marino (maintainer)

END