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/jaxen/Makefile | 2 ++ 1 file changed, 2 insertions(+) (limited to 'java/jaxen') diff --git a/java/jaxen/Makefile b/java/jaxen/Makefile index 76a0aeea2368..b6ea26babec5 100644 --- a/java/jaxen/Makefile +++ b/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} -- cgit v1.3