- revert texi changes from rev 1418 as it breaks build

- original patch will be reviewed before next commit

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