K 10
svn:author
V 4
tota
K 8
svn:date
V 27
2019-09-01T16:21:26.258805Z
K 7
svn:log
V 172
- Make use of options helpers to fix build error without DOCS [1]
- Make portlint happier

PR:		240208 [1]
Submitted by:	Marko Cupać <marko_DOT_cupac_AT_mimar_DOT_rs> [1]

END