HomeFreeBSD

Add a DEV_ERROR if PORTDOCS/PORTEXAMPLES are set and DOCS/EXAMPLES

Description

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