From bdeb8561511e9869fe7b4735106e13b68b529eb8 Mon Sep 17 00:00:00 2001
From: Adam Weinberger <adamw@FreeBSD.org>
Date: Tue, 15 Jul 2014 23:30:05 +0000
Subject: Add DOCS to OPTIONS for ports that have PORTDOCS in the plist.

---
 games/thudboard/Makefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'games/thudboard')

diff --git a/games/thudboard/Makefile b/games/thudboard/Makefile
index 3a6f0a5a098d..77ab86f76e0b 100644
--- a/games/thudboard/Makefile
+++ b/games/thudboard/Makefile
@@ -17,6 +17,8 @@ USE_PYTHON=	yes
 
 SUB_FILES=	thudboard
 
+OPTIONS_DEFINE=	DOCS
+
 post-patch:
 	${REINPLACE_CMD} -e 's|file:.*/docs|file://${DOCSDIR}|' \
 		${WRKDIR}/thud.py
-- 
cgit v1.2.3