K 10
svn:author
V 3
mat
K 8
svn:date
V 27
2018-09-10T13:16:24.132146Z
K 7
svn:log
V 202
Add a DEV_ERROR if PORTDOCS/PORTEXAMPLES are set and DOCS/EXAMPLES
options are not defined.

PR:		230864
Submitted by:	mat
exp-runs by:	antoine
Differential Revision:	https://reviews.freebsd.org/D13651

END