diff options
| author | Adam Weinberger <adamw@FreeBSD.org> | 2014-07-15 23:30:05 +0000 |
|---|---|---|
| committer | Adam Weinberger <adamw@FreeBSD.org> | 2014-07-15 23:30:05 +0000 |
| commit | bdeb8561511e9869fe7b4735106e13b68b529eb8 (patch) | |
| tree | e962c6543fdab0f842a6d242127e735d0347e99c /games/gnubg | |
| parent | Add OPTIONS_DEFINE=DOCS for ports with %%PORTDOCS%% in the plist. (diff) | |
Add DOCS to OPTIONS for ports that have PORTDOCS in the plist.
Notes
Notes:
svn path=/head/; revision=362015
Diffstat (limited to 'games/gnubg')
| -rw-r--r-- | games/gnubg/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/games/gnubg/Makefile b/games/gnubg/Makefile index 95c34b7773d7..83fc62145209 100644 --- a/games/gnubg/Makefile +++ b/games/gnubg/Makefile @@ -20,7 +20,7 @@ LIB_DEPENDS= libpng15.so:${PORTSDIR}/graphics/png \ libgtkextra-x11-2.0.so:${PORTSDIR}/x11-toolkits/gtkextra2 \ libgtkglext-x11-1.0.so:${PORTSDIR}/x11-toolkits/gtkglext -OPTIONS_DEFINE= ESOUND NLS +OPTIONS_DEFINE= ESOUND NLS DOCS OPTIONS_DEFAULT=ESOUND NLS CONFIGURE_ARGS= --with-board3d --with-sqlite --with-python |