K 10
svn:author
V 5
wosch
K 8
svn:date
V 27
2017-10-06T10:44:00.170184Z
K 7
svn:log
V 83
'make obj' doesn't really work for the docs, disable it by default

    PR: 222488

END