K 10
svn:author
V 4
jkim
K 8
svn:date
V 27
2015-11-06T18:57:01.907688Z
K 7
svn:log
V 39
Fix build with DOCS=off after r400846.

END