From e1bfdfbe5665c963621e06f6bbfbbc2c000a804e Mon Sep 17 00:00:00 2001
From: Mathieu Arnold <mat@FreeBSD.org>
Date: Mon, 10 Sep 2018 13:14:50 +0000
Subject: 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
---
 textproc/java2html/Makefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'textproc/java2html')

diff --git a/textproc/java2html/Makefile b/textproc/java2html/Makefile
index 3015897136d7..91da197f2a0c 100644
--- a/textproc/java2html/Makefile
+++ b/textproc/java2html/Makefile
@@ -16,6 +16,8 @@ GNU_CONFIGURE=	yes
 PORTDOCS=	AUTHORS NEWS README
 PLIST_FILES=	bin/java2html man/man1/java2html.1.gz
 
+OPTIONS_DEFINE=	DOCS
+
 post-install:
 	@${MKDIR} ${STAGEDIR}${DOCSDIR}
 	cd ${WRKSRC} && ${INSTALL_DATA} ${PORTDOCS} ${STAGEDIR}${DOCSDIR}
-- 
cgit v1.3