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

java/castor/Makefile

@@ -28,6 +28,8 @@ PLIST_FILES=	%%JAVAJARDIR%%/${PORTNAME}-anttasks.jar \
 PORTDOCS=	*.html *.txt *.css *.dtd *.xsd *.pdf \
 		ora-mar-2k images rss
 
+OPTIONS_DEFINE=	DOCS
+
 do-install:
 .for f in ${PLIST_FILES:T:R}
 	${INSTALL_DATA} \

java/jaxen/Makefile

@@ -21,6 +21,8 @@ PLIST_FILES+=	${JARFILES:S,^lib/,,:S,^,%%JAVAJARDIR%%/,}
 DOCS=		default.css download.html faq.html index.html javadoc status.html style
 PORTDOCS=	LICENSE ${DOCS}
 
+OPTIONS_DEFINE=	DOCS
+
 do-install:
 	@${ECHO_MSG} -n ">> Installing JAR files in ${JAVAJARDIR}..."
 	@${MKDIR} ${STAGEDIR}${JAVAJARDIR}

java/jdk8-doc/Makefile

@@ -23,6 +23,8 @@ NO_BUILD=	yes
 NO_ARCH=	yes
 PORTDOCS=	*
 
+OPTIONS_DEFINE=	DOCS
+
 .include <bsd.port.pre.mk>
 
 .if !exists(${DISTDIR}/${DISTNAME}${EXTRACT_SUFX})

java/jdk9-doc/Makefile

@@ -23,6 +23,8 @@ NO_BUILD=	yes
 USES=		zip
 PORTDOCS=	*
 
+OPTIONS_DEFINE=	DOCS
+
 .include <bsd.port.pre.mk>
 
 .if !exists(${DISTDIR}/${DISTNAME}${EXTRACT_SUFX})