]> git.sur5r.net Git - openocd/commit
build: make makeinfo optional
authorSpencer Oliver <spen@spen-soft.co.uk>
Tue, 30 Sep 2014 10:22:40 +0000 (11:22 +0100)
committerSpencer Oliver <spen@spen-soft.co.uk>
Thu, 16 Oct 2014 12:30:26 +0000 (12:30 +0000)
commitc7de02d6195abb736b00c30fdf3010e242f93640
tree8d8d39d45a23f683c49265f9e0e54760eac8c016
parent1ea25b85bb8ad4b4ccde1b8bff0cffe24bbb2f97
build: make makeinfo optional

This means the user does not have to install texinfo to build OpenOCD.

Change-Id: Id9f42da798d3c2b79e95214c9e2559cf32802251
Signed-off-by: Spencer Oliver <spen@spen-soft.co.uk>
Reviewed-on: http://openocd.zylin.com/2325
Tested-by: jenkins
Reviewed-by: Andreas Fritiofson <andreas.fritiofson@gmail.com>
configure.ac