- Add missing DOCS options

Approved by:	portmgr blanket

devel/seed/Makefile

@@ -31,6 +31,8 @@ CONFIGURE_ARGS+=--enable-gtk-doc=no --with-webkit=3.0
 DATADIR=	share/seed-gtk3
 INSTALL_TARGET=	install-strip
 
+OPTIONS_DEFINE=	DOCS
+
 post-patch:
 	@${REINPLACE_CMD} -e 's|== x|= x|g' \
 		${WRKSRC}/configure

devel/zookeeper/Makefile

@@ -44,6 +44,8 @@ SUB_LIST+=	ZOOKEEPER_LOGDIR=${ZOOKEEPER_LOGDIR} \
 		ZOOKEEPER_RUNDIR=${ZOOKEEPER_RUNDIR} \
 		JAVA_HOME=${JAVA_HOME}
 
+OPTIONS_DEFINE=	DOCS
+
 post-patch:
 .for f in ${SCRIPTS}
 	${REINPLACE_CMD} -e "s|bash|${LOCALBASE}/bin/bash|" ${WRKSRC}/bin/${f}