K 10
svn:author
V 5
riggs
K 8
svn:date
V 27
2015-05-14T16:08:35.758704Z
K 7
svn:log
V 109
Fix build break when DOCS OPTION is deselected

PR:		200110
Submitted by:	henry.hu.sh@gmail.com (maintainer)

END