K 10
svn:author
V 5
arved
K 8
svn:date
V 27
2016-06-28T09:28:07.359347Z
K 7
svn:log
V 128
Fix build if DOCS are deselected

PR:		197074
Submitted by:	olexander.v.melnyk@gmail.com
Reported by:	sergej.schmidt@uni-ulm.de

END