aboutsummaryrefslogtreecommitdiffstats
path: root/games/dungeon
diff options
context:
space:
mode:
authorehaupt <ehaupt@FreeBSD.org>2014-02-10 21:54:26 +0800
committerehaupt <ehaupt@FreeBSD.org>2014-02-10 21:54:26 +0800
commit591689f7f7301da41e08d95976e1318322254d75 (patch)
tree3a1e73b4128190b7ed7020b2113a1d94d76b0e93 /games/dungeon
parent241bc346167b5bfc4beac8d3b3044454cf6b0f87 (diff)
downloadfreebsd-ports-gnome-591689f7f7301da41e08d95976e1318322254d75.tar.gz
freebsd-ports-gnome-591689f7f7301da41e08d95976e1318322254d75.tar.zst
freebsd-ports-gnome-591689f7f7301da41e08d95976e1318322254d75.zip
According to the Porter's Handbook (5.12.2.3.) default options must be added to
OPTIONS_DEFINE. This policy has been implemented only recently that's why we have many ports violating this policy. This patch adds the default options specified in the Porter's Handbook to OPTIONS_DEFINE where they are being used. Ports maintained by gnome@FreeBSD.org, kde@FreeBSD.org and x11@FreeBSD.org have been excluded. Approved by: portmgr (bapt)
Diffstat (limited to 'games/dungeon')
-rw-r--r--games/dungeon/Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/games/dungeon/Makefile b/games/dungeon/Makefile
index 8e7928641e1f..063b31a01951 100644
--- a/games/dungeon/Makefile
+++ b/games/dungeon/Makefile
@@ -35,6 +35,9 @@ MAKE_FLAGS+= DATADIR=${DATADIR}
MAKE_ENV+= GDT_FLAG=-DHAVE_GDT
NO_STAGE= yes
+
+OPTIONS_DEFINE= DOCS
+
.include <bsd.port.options.mk>
pre-patch: