Antoine Leca 3f862305f8 Fix the process for GNU tools on MINIX
This is a fix over commit a150b26ee803b20080
On a MINIX station, the tools are not usually built and
on a first-time building of the tree, the fetching script
of texinfo was not triggered in some cases. Let force it.
Reported on minix3 googlegroup by Chris Card.

Change-Id: I8beafdeaec66bb1f1f3250bd64c1e14c0023e9d0
2016-11-30 08:42:36 +01:00
..
2016-09-01 21:16:13 +02:00