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
---
 games/pokerth/Makefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'games/pokerth')

diff --git a/games/pokerth/Makefile b/games/pokerth/Makefile
index 90c6da5b6f4b..5ab28cfee765 100644
--- a/games/pokerth/Makefile
+++ b/games/pokerth/Makefile
@@ -33,6 +33,8 @@ WRKSRC=		${WRKDIR}/${DISTNAME}-rc
 
 PORTDOCS=	server_setup_howto.txt
 
+OPTIONS_DEFINE=	DOCS
+
 post-patch:
 	@${REINPLACE_CMD} -E \
 		-e 's|/usr([a-z|/]*)|${LOCALBASE}/\1|g' \
-- 
cgit v1.2.3