poke-git: Also use pkgsrc version of makeinfo and flex

[Sijmen J. Mulder <ik%sjmulder.nl@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Sijmen J. Mulder <ik%sjmulder.nl@localhost>
Pushed By:	sjmulder
Date:		Wed Nov 18 20:46:14 2020 +0100
Changeset:	0aa2b0cb5d695a03d251a08a2bf235c9628bfe85

Modified Files:
	poke-git/Makefile

Log Message:
poke-git: Also use pkgsrc version of makeinfo and flex

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

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

diffstat:
 poke-git/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diffs:
diff --git a/poke-git/Makefile b/poke-git/Makefile
index a0f8357922..a9fd10c648 100644
--- a/poke-git/Makefile
+++ b/poke-git/Makefile
@@ -30,6 +30,8 @@ TOOL_DEPENDS+=	bison>=3.6:../../devel/bison
 
 TOOLS_PLATFORM.bison=
 TOOLS_PLATFORM.bison-yacc=
+TOOLS_PLATFORM.flex=
+TOOLS_PLATFORM.makeinfo=
 
 BOOTSTRAP_FLAGS+=	--skip-po --no-git
 BOOTSTRAP_FLAGS+=	--gnulib-srcdir=${WRKSRC}/gnulib