[Buildroot] [PATCH for-rc] openocd: fix build on older hosts

[Peter Korsgaard]

>>>>> "Michael" == Michael Walle <michael at walle.cc> writes:

 > OpenOCD fails to generate the documentation because older host systems may
 > have an old texinfo.

 > This patch is taken from upstream commit 79fdeb37f486f74658f1 which is
 > included in version 0.10.0. Therefore, it can be dropped when the version
 > is bumped.

 > Signed-off-by: Michael Walle <michael at walle.cc>
 > ---
 > Please include this patch in the 2017.02 release. Without the patch,
 > openocd won't build on older build hosts. There is no functional change.

It would IMHO be better to not generate the documentation in the first
place. I've committed Thomas' timestamp workaround, so it should no
longer get generated:

https://patchwork.ozlabs.org/patch/732614/

Can you please verify that the above fixes it for you?

-- 
Bye, Peter Korsgaard