gnunet: Handle info files in options.mk

[ng0 <ng0%n0.is@localhost>]

Module Name:	pkgsrc-wip
Committed By:	ng0 <ng0%n0.is@localhost>
Pushed By:	ng0
Date:		Sun May 26 10:51:23 2019 +0000
Changeset:	4ea736104876754ae7ee256184a421b57eec8aed

Modified Files:
	gnunet/Makefile
	gnunet/options.mk

Log Message:
gnunet: Handle info files in options.mk

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=4ea736104876754ae7ee256184a421b57eec8aed

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

diffstat:
 gnunet/Makefile   | 2 --
 gnunet/options.mk | 1 +
 2 files changed, 1 insertion(+), 2 deletions(-)

diffs:
diff --git a/gnunet/Makefile b/gnunet/Makefile
index 7f80a5e87f..0ae6c86594 100644
--- a/gnunet/Makefile
+++ b/gnunet/Makefile
@@ -18,8 +18,6 @@ TEST_TARGET=		check
 PTHREAD_OPTS=		require native
 LDFLAGS+=		-lpthread -lintl
 
-INFO_FILES=		yes
-
 .include "../../mk/bsd.prefs.mk"
 .include "options.mk"
 
diff --git a/gnunet/options.mk b/gnunet/options.mk
index 77a38ebb56..3dd1fe1845 100644
--- a/gnunet/options.mk
+++ b/gnunet/options.mk
@@ -21,6 +21,7 @@ PYTHON_FOR_BUILD_ONLY=	yes
 # build the doc output. XXX: See README.
 .if !empty(PKG_OPTIONS:Mdoc)
 USE_TOOLS+=		makeinfo
+INFO_FILES=   yes
 CONFIGURE_ARGS+=	--enable-documentation
 PLIST.doc=		yes
 .else