K 10
svn:author
V 3
mat
K 8
svn:date
V 27
2018-09-24T09:49:21.450706Z
K 7
svn:log
V 105
These options seem to also install files that are not documentation, so
remove their dependency on DOCS.

END