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 --- graphics/piglit/Makefile | 2 ++ 1 file changed, 2 insertions(+) (limited to 'graphics/piglit') diff --git a/graphics/piglit/Makefile b/graphics/piglit/Makefile index d6c07ea8e92d..2a1c8cbd86dc 100644 --- a/graphics/piglit/Makefile +++ b/graphics/piglit/Makefile @@ -45,4 +45,6 @@ SUB_FILES= pkg-message DATADIR= ${PREFIX}/lib/piglit PORTDATA= * +OPTIONS_DEFINE= DOCS + .include -- cgit v1.2.3