From e1bfdfbe5665c963621e06f6bbfbbc2c000a804e Mon Sep 17 00:00:00 2001 From: Mathieu Arnold 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 --- java/jdk8-doc/Makefile | 2 ++ 1 file changed, 2 insertions(+) (limited to 'java/jdk8-doc') diff --git a/java/jdk8-doc/Makefile b/java/jdk8-doc/Makefile index 962644e20b4e..9976fe268675 100644 --- a/java/jdk8-doc/Makefile +++ b/java/jdk8-doc/Makefile @@ -23,6 +23,8 @@ NO_BUILD= yes NO_ARCH= yes PORTDOCS= * +OPTIONS_DEFINE= DOCS + .include .if !exists(${DISTDIR}/${DISTNAME}${EXTRACT_SUFX}) -- cgit v1.2.3