From 4ea736104876754ae7ee256184a421b57eec8aed Mon Sep 17 00:00:00 2001
From: ng0 <ng0@n0.is>
Date: Sun, 26 May 2019 10:51:23 +0000
Subject: [PATCH] gnunet: Handle info files in options.mk

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

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