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>
bscan_optimization
Kevin Gillespie 2019-06-12 08:54:51 -05:00 committed by Tomas Vanek
parent 42cee465c2
commit 23b6aa9bf8
1 changed files with 1 additions and 1 deletions