Kevin Gillespie 23b6aa9bf8 doc: makeinfo extra whitespace ...

Extra whitespace in file creating build errors with makeinfo.

Change-Id: Ib764850c1c8ff596d3c753eadd8e27f8c5982d20
Signed-off-by: Kevin Gillespie <kgills@gmail.com>
Reviewed-on: http://openocd.zylin.com/5229
Tested-by: jenkins
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>

2019-06-20 19:49:56 +01:00

420 KiB

Raw Blame History

View Raw