David Brownell <david-b@pacbell.net> Fix two texinfo formatting bugs. The first was visible by

reading the output, and both were reported in openocd.log
after making the PDF.

git-svn-id: svn://svn.berlios.de/openocd/trunk@2449 b42882b7-edfa-0310-969c-e2dbd0fdcd60