K 10
svn:author
V 3
mat
K 8
svn:date
V 27
2018-09-10T13:14:50.718186Z
K 7
svn:log
V 144
Add DOCS options to ports that should have one.

Also various fixes related to said option.

PR:		230864
Submitted by:	mat
exp-runs by:	antoine

END